diff options
author | Chris Lamb <lamby@debian.org> | 2018-08-20 10:02:23 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2018-08-20 10:06:22 +0100 |
commit | 09249d05a074da436ea749b24f10dc657272d42e (patch) | |
tree | bdc903cbfcd401c712b534d55736ca4317cc000d /bin/gen-DSA | |
parent | 7017db82b2f0af9e7295ebc60d4bdbc4f035b5aa (diff) |
bin/gen-DSA: Use $needed_file.
Diffstat (limited to 'bin/gen-DSA')
-rwxr-xr-x | bin/gen-DSA | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/gen-DSA b/bin/gen-DSA index f0ef9b0fc7..3ced2eef36 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -393,14 +393,14 @@ EOF idmode=$(echo "$IDMODE" | tr A-Z a-z) if [ -d .git ]; then echo "Made the following changes:" - git diff -- data/$IDMODE/list data/$idmode-needed.txt + git diff -- data/$IDMODE/list $needed_file fi warn "you need to commit and push the changes to data/$IDMODE/list etc. to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." if [ -d .git ]; then echo -n "Do you want to commit and push them now ? [Yn] " read reply if [ "$reply" = "Y" ] || [ "$reply" = "" ] || [ "$reply" = "y" ]; then - git add data/$IDMODE/list data/$idmode-needed.txt + git add data/$IDMODE/list $needed_file git commit -m "Reserve $IDMODE-$DAID for $PACKAGE" git push origin master fi |