-
Type:
Bug
-
Resolution: Fixed
-
Priority:
Trivial - P5
-
Affects Version/s: None
-
Component/s: None
-
None
-
DevProd Correctness
-
Fully Compatible
-
ALL
-
Repl 2025-09-15
-
None
-
None
-
None
-
None
-
None
-
None
-
None
Scripts used to set up the workstation do not have a shebang, so if you run them on a different shell than bash they might fail. In my case I tried running them with zsh and etc/set_up_workstation.sh did not work properly.
Adding a shebang fixed the issue for my setup.