# trivial: remove the dots at the end of file names 4 messages from 2006-01-05 to 2006-01-07. Participants: Alex Riesen, Junio C Hamano. Thread: https://gitlist.dev/t/2975 ## Alex Riesen, 2006-01-05 11:46 Subject: trivial: remove the dots at the end of file names Message-ID: <81b0412b0601050346v43dc1e58k7e0b51c6d6817d1e@mail.gmail.com> URL: https://gitlist.dev/e/81b0412b0601050346v43dc1e58k7e0b51c6d6817d1e%40mail.gmail.com ``` to make the output more friendly to mouse copy-paste. Signed-off-by: Alex Riesen Subject: [PATCH] Remove the dots at the end of file names to make the output more mouse copy-paste friendly. Signed-off-by: Alex Riesen --- git-merge-one-file.sh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) fa0739c321265582ba8a914acedcb66f98980a86 diff --git a/git-merge-one-file.sh b/git-merge-one-file.sh index 7dee88a..5349a1c 100755 --- a/git-merge-one-file.sh +++ b/git-merge-one-file.sh @@ -82,7 +82,7 @@ case "${1:-.}${2:-.}${3:-.}" in expr "$sz0" \< "$sz1" \* 2 >/dev/null || : >$orig ;; *) - echo "Auto-merging $4." + echo "Auto-merging $4" orig=`git-unpack-file $1` ;; esac @@ -107,7 +107,7 @@ case "${1:-.}${2:-.}${3:-.}" in fi if [ $ret -ne 0 ]; then - echo "ERROR: Merge conflict in $4." + echo "ERROR: Merge conflict in $4" exit 1 fi exec git-update-index -- "$4" -- 1.0.GIT ``` ## Junio C Hamano, 2006-01-06 22:37 Subject: Re: trivial: remove the dots at the end of file names Message-ID: <7vu0chrniz.fsf@assigned-by-dhcp.cox.net> URL: https://gitlist.dev/e/7vu0chrniz.fsf%40assigned-by-dhcp.cox.net In-Reply-To: <81b0412b0601050346v43dc1e58k7e0b51c6d6817d1e@mail.gmail.com> ``` Alex Riesen writes: > Subject: [PATCH] Remove the dots at the end of file names > to make the output more mouse copy-paste friendly. > - echo "ERROR: Merge conflict in $4." > + echo "ERROR: Merge conflict in $4" Hmph. I think there are places we state pathname within 'single quotes' as a part of sentence, which may have the same issue. I understand and am sympathetic to the motivation, but at the same time messages that do not end with full-stop somehow make me feel quite uneasy. I'll swallow the patch; maybe it is just me. ``` ## Alex Riesen, 2006-01-07 10:32 Subject: Re: trivial: remove the dots at the end of file names Message-ID: <20060107103202.GC5536@steel.home> URL: https://gitlist.dev/e/20060107103202.GC5536%40steel.home In-Reply-To: <7vu0chrniz.fsf@assigned-by-dhcp.cox.net> ``` Junio C Hamano, Fri, Jan 06, 2006 23:37:24 +0100: > Alex Riesen writes: > > > Subject: [PATCH] Remove the dots at the end of file names > > to make the output more mouse copy-paste friendly. > > > - echo "ERROR: Merge conflict in $4." > > + echo "ERROR: Merge conflict in $4" > > Hmph. I think there are places we state pathname within 'single > quotes' as a part of sentence, which may have the same issue. No-no-no! These are perfectly fine (for bash, at least)! > I understand and am sympathetic to the motivation, but at the same > time messages that do not end with full-stop somehow make me feel > quite uneasy. I'll swallow the patch; maybe it is just me. I hope so. Don't you ever use mouse copy-pasting?! ``` ## Junio C Hamano, 2006-01-07 10:35 Subject: Re: trivial: remove the dots at the end of file names Message-ID: <7vy81sjpff.fsf@assigned-by-dhcp.cox.net> URL: https://gitlist.dev/e/7vy81sjpff.fsf%40assigned-by-dhcp.cox.net In-Reply-To: <20060107103202.GC5536@steel.home> ``` Alex Riesen writes: > I hope so. Don't you ever use mouse copy-pasting?! Not mouse, but I always work inside "screen" and use copy&paste. ```