Zulip Chat Archive

Stream: general

Topic: git issue: 3 (were 2367) changed files


Eric Rodriguez (Jan 20 2022 at 12:30):

Damiano, sorry for pushing, but I thought I'd give it a shot on another computer and it worked. I'm not sure what happened in yours, but I was able to just:

$ chmod -x yaml_check.py
$ chmod -x detect_errors.py
$ git commit -am "fix mode"
$ git push

and it worked fine. I wonder if your git version is different to mine? I am on 2.34.1

Damiano Testa (Jan 20 2022 at 12:33):

Eric, thank you so much! I am on 1.8.3.1, VSCode complains that it is old, but since the computer is university-managed, I cannot update Git myself...

Julian Berman (Jan 20 2022 at 13:04):

If it helps, you presumably could just download newer git (e.g from https://git-scm.com/downloads) and put it in ~/.local/bin, earlier on your path, and ignore the old one installed system wide

Damiano Testa (Jan 20 2022 at 13:05):

Would I need root access for this? I do not have it on this machine.

Huỳnh Trần Khanh (Jan 20 2022 at 13:05):

no

Julian Berman (Jan 20 2022 at 13:13):

You do not yeah -- you can put whatever programs you want locally in your own user's directories (let me/us know if you want more details on how obviously. The only tricky bit might be double checking where you put them is before the systemwide directories on your shell PATH)

Damiano Testa (Jan 20 2022 at 13:14):

I'll ask you details in private, thanks! (Of course, feel free to tell me that you cannot help me!)

Eric Wieser (Jan 20 2022 at 13:20):

I doubt updating git is relevant here

Eric Wieser (Jan 20 2022 at 13:21):

It sounds like you have a weird filesystem that was interfering - you can tell git to ignore local filesystem permissions in a config file somewhere if that's the case

Julian Berman (Jan 20 2022 at 13:26):

(Agreed by the way, I mentioned it mostly to make whatever VSCode complains about go away)

Eric Wieser (Jan 20 2022 at 13:28):

I guess getting the last 8 years of changes to git is probably a good idea anyway!


Last updated: Dec 20 2023 at 11:08 UTC