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 | b29f3953d8f23c1f584be8dfb1f75d63fe592a41 (patch) | |
tree | 5bb392dac3f5ec8a2ef178b86f2fe9362fc11dfd /bin/gen-DSA | |
parent | 4295d0604bf69d1ff042006bf298af2653ba5623 (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 |