Problem description:
Bash can’t find the command, even though it is in the PATHvar (echo $PATH). I am pretty sure this only happens on the cover page of someone else’s repl.
Expected behavior:
The command runs without error.
Actual behavior:
You get a command not found error.
I’m suspecting that you put jumplang/jumplang into $PATH for this one:
I suspect that (like environment variables) $PATH is reset for each repl “copy” (fork, cover page run, etc.)
Edit: literally see it after saying that.
Edit2: I don’t know if it will work, but try adding jumplang/jumplang directly to $PATH and see what happens?
hmm. In that case, I’m not certain, as it seems to be looking for “jumplang” as a command. I’ll look farther into how bash tries to run things and get back to you.
Got it. The directory /home/runner/JumpLang-Template doesn’t exist on the cover page or in forks, as (on the cover page) it is assigned a seemingly random ID instead (EX: eCqN9C9zjZj). So $PATH’s first parameter /home/runner/JumpLang-Template/jumplang doesn’t exist.
Edit: The ID is contained in $REPL_SLUG