diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-06 23:22:26 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-06 23:22:26 +0200 |
commit | e6f143f01dd7f1629f56f4073ff28fe317118f54 (patch) | |
tree | ca00d39a7adb5a8c3ba245fff6671b643dd0c577 /gnulib-tool | |
parent | 07d41642fbad4a36a7ece9ee33db6a4d641cb585 (diff) | |
download | gnulib-e6f143f01dd7f1629f56f4073ff28fe317118f54.tar.gz |
gnulib-tool: In the VC files messages, omit the destination directory.
This makes these messages consistent with the other "Copying ..." and
"Creating ..." messages.
* gnulib-tool (func_import): Omit $destdir/ from the "Updating"/
"Creating" messages regarding .gitignore files.
* pygnulib/GLImport.py (GLImport._update_ignorelist_): Likewise.
Diffstat (limited to 'gnulib-tool')
-rwxr-xr-x | gnulib-tool | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnulib-tool b/gnulib-tool index ac53480dbf..e49d1bc8a8 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -6221,7 +6221,7 @@ s,//*$,/,' ) if test -s "$tmp"/ignore-added || test -s "$tmp"/ignore-removed; then if $doit; then - echo "Updating $destdir/$dir$ignore (backup in $destdir/$dir${ignore}~)" + echo "Updating $dir$ignore (backup in $dir${ignore}~)" mv -f "$destdir/$dir$ignore" "$destdir/$dir$ignore"~ { sed -e 's,/,\\/,g' -e 's,^,/^,' -e 's,$,\$/d,' < "$tmp"/ignore-removed if test -n "$anchor"; then sed -e 's,/,\\/,g' -e "s,^,/^${doubly_escaped_anchor}," -e 's,$,$/d,' < "$tmp"/ignore-removed; fi @@ -6231,14 +6231,14 @@ s,//*$,/,' } | sed -f "$tmp"/sed-ignore-removed \ > "$destdir/$dir$ignore" else - echo "Update $destdir/$dir$ignore (backup in $destdir/$dir${ignore}~)" + echo "Update $dir$ignore (backup in $dir${ignore}~)" fi fi fi else if test -n "$dir_added"; then if $doit; then - echo "Creating $destdir/$dir$ignore" + echo "Creating $dir$ignore" { if test "$ignore" = .cvsignore; then echo ".deps" @@ -6248,7 +6248,7 @@ s,//*$,/,' echo "$dir_added" | sed -e '/^$/d' -e "s|^|$anchor|" | LC_ALL=C sort -u } > "$destdir/$dir$ignore" else - echo "Create $destdir/$dir$ignore" + echo "Create $dir$ignore" fi fi fi |