Re: git slow unless piped to cat

2019-08-28 Thread Uwe Kleine-König
Hello, On Tue, Aug 27, 2019 at 02:38:57PM -0700, Bryan Turner wrote: > On Tue, Aug 27, 2019 at 2:32 PM Uwe Kleine-König > wrote: > > > > On Tue, Aug 27, 2019 at 02:59:30PM -0400, Jeff King wrote: > > > On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > > > > > > to see the loose

Re: git slow unless piped to cat

2019-08-27 Thread Bryan Turner
On Tue, Aug 27, 2019 at 2:32 PM Uwe Kleine-König wrote: > > On Tue, Aug 27, 2019 at 02:59:30PM -0400, Jeff King wrote: > > On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > > > > to see the loose ones. If there are a lot, try: > > > > git pack-refs --prune --all > > > > (or jus

Re: git slow unless piped to cat

2019-08-27 Thread Uwe Kleine-König
On Tue, Aug 27, 2019 at 02:59:30PM -0400, Jeff King wrote: > On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > > > $ sudo sh -c "echo 3 > /proc/sys/vm/drop_caches"; time env > > GIT_CONFIG_NOSYSTEM=1 HOME=/nonexistant XDG_CONFIG_HOME=/nonexistant git > > --no-pager show --n

Re: git slow unless piped to cat

2019-08-27 Thread Jeff King
On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > $ sudo sh -c "echo 3 > /proc/sys/vm/drop_caches"; time env > GIT_CONFIG_NOSYSTEM=1 HOME=/nonexistant XDG_CONFIG_HOME=/nonexistant git > --no-pager show --no-color --no-decorate v5.2 > ... > > real0m1.041s

Re: git slow unless piped to cat

2019-08-27 Thread Michal Suchánek
On Tue, 27 Aug 2019 12:56:38 +0200 Uwe Kleine-König wrote: > Hello, > > On Tue, Aug 27, 2019 at 12:33:09PM +0200, SZEDER Gábor wrote: > > On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > > > I'm a bit surprised that the default for --decorate depends on the > > > out

Re: git slow unless piped to cat

2019-08-27 Thread Uwe Kleine-König
Hello, On Tue, Aug 27, 2019 at 12:33:09PM +0200, SZEDER Gábor wrote: > On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > > I'm a bit surprised that the default for --decorate depends on the > > output being a terminal. > > Decorations (and colors as well) are for humans, and hum

Re: git slow unless piped to cat

2019-08-27 Thread SZEDER Gábor
On Tue, Aug 27, 2019 at 12:04:27PM +0200, Uwe Kleine-König wrote: > I'm a bit surprised that the default for --decorate depends on the > output being a terminal. Decorations (and colors as well) are for humans, and humans read the terminal. > Thanks for your help, I will think about what I want t

Re: git slow unless piped to cat

2019-08-27 Thread Uwe Kleine-König
On Tue, Aug 27, 2019 at 11:44:07AM +0200, SZEDER Gábor wrote: > On Tue, Aug 27, 2019 at 11:12:06AM +0200, Philipp Zabel wrote: > > On Tue, 2019-08-27 at 10:56 +0200, Uwe Kleine-König wrote: > > > On Tue, Aug 27, 2019 at 10:41:11AM +0200, SZEDER Gábor wrote: > > > > On Tue, Aug 27, 2019 at 10:15:59A

Re: git slow unless piped to cat

2019-08-27 Thread SZEDER Gábor
On Tue, Aug 27, 2019 at 11:12:06AM +0200, Philipp Zabel wrote: > On Tue, 2019-08-27 at 10:56 +0200, Uwe Kleine-König wrote: > > On Tue, Aug 27, 2019 at 10:41:11AM +0200, SZEDER Gábor wrote: > > > On Tue, Aug 27, 2019 at 10:15:59AM +0200, Uwe Kleine-König wrote: > > > > I have a problem here with gi

Re: git slow unless piped to cat

2019-08-27 Thread Philipp Zabel
On Tue, 2019-08-27 at 10:56 +0200, Uwe Kleine-König wrote: > On Tue, Aug 27, 2019 at 10:41:11AM +0200, SZEDER Gábor wrote: > > On Tue, Aug 27, 2019 at 10:15:59AM +0200, Uwe Kleine-König wrote: > > > I have a problem here with git being slow in some situations. > > > Using git 2.23.0 (from Debian) t

Re: git slow unless piped to cat

2019-08-27 Thread Uwe Kleine-König
On Tue, Aug 27, 2019 at 10:41:11AM +0200, SZEDER Gábor wrote: > On Tue, Aug 27, 2019 at 10:15:59AM +0200, Uwe Kleine-König wrote: > > I have a problem here with git being slow in some situations. > > Using git 2.23.0 (from Debian) the effect is: > > > > u...@dude.ptx:/ptx/src/git/linux.git$ sudo s

Re: git slow unless piped to cat

2019-08-27 Thread SZEDER Gábor
On Tue, Aug 27, 2019 at 10:15:59AM +0200, Uwe Kleine-König wrote: > I have a problem here with git being slow in some situations. > Using git 2.23.0 (from Debian) the effect is: > > u...@dude.ptx:/ptx/src/git/linux.git$ sudo sh -c "echo 3 > > /proc/sys/vm/drop_caches"; time git show v5.2 > tag v5

git slow unless piped to cat

2019-08-27 Thread Uwe Kleine-König
Hello, I have a problem here with git being slow in some situations. Using git 2.23.0 (from Debian) the effect is: u...@dude.ptx:/ptx/src/git/linux.git$ sudo sh -c "echo 3 > /proc/sys/vm/drop_caches"; time git show v5.2 tag v5.2 ... real0m12.727s user0m0.300s sys 0m0.371s But to ge