mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-30 22:41:48 +00:00
7a9b264f36
Summary: * Add a "Performance Improvements" section * Add required copyright headers Pull Request resolved: https://github.com/facebook/rocksdb/pull/11504 Test Plan: manual Reviewed By: hx235 Differential Revision: D46405128 Pulled By: pdillinger fbshipit-source-id: 4f878dfd0170d381d3051a44c13479c860e812c0
28 lines
829 B
Bash
Executable file
28 lines
829 B
Bash
Executable file
#! /usr/bin/env bash
|
|
# Copyright (c) Meta Platforms, Inc. and affiliates.
|
|
|
|
set -e
|
|
set -o pipefail
|
|
|
|
if [ "$1" ]; then
|
|
# Target file specified on command line
|
|
TARGET="$1"
|
|
else
|
|
# Interactively choose a group and file name
|
|
DIRS="`find unreleased_history/ -mindepth 1 -maxdepth 1 -type d`"
|
|
echo "Choose a group for new release note:"
|
|
echo "$DIRS" | grep -nEo '[^/]+$'
|
|
echo -n "Enter a number: "
|
|
while [ ! "$DIRNUM" ]; do read -r DIRNUM; done
|
|
DIR="$(echo "$DIRS" | head -n "$DIRNUM" | tail -1)"
|
|
echo "Choose a file name for new release note (e.g. improved_whatever.md):"
|
|
while [ ! "$FNAME" ]; do read -re FNAME; done
|
|
# Replace spaces with underscores
|
|
TARGET="$(echo "$DIR/$FNAME" | tr ' ' '_')"
|
|
fi
|
|
|
|
# Edit/create the file
|
|
${EDITOR:-nano} "$TARGET"
|
|
# Add to version control (easy to forget!)
|
|
git add "$TARGET"
|