In which directory should I run "make install"? On Tue, Mar 7, 2023, 18:41 Bart Schaefer wrote: > On Tue, Mar 7, 2023 at 9:32 AM Peter Stephenson > wrote: > > > > BTW this sort of question ("I'm a confused user who doesn't know how > > to get x to work") belongs in zsh-users unless you've determined > > something about the system is broken. > > If you don't do the "make install" part, you get an error about a > "shift" count being wrong, which probably looks like a bug rather than > a usage problem. >