I want to use artiq_flash through a remote machine using
artiq_flash -V variant --host remote_machine_hostname, but I get the error
bash: openocd: command not found. The local and the remote machine both run Ubuntu 20.04.
I installed openocd-mlabs using nix-env to make sure the command is available without a nix shell, but I realized that paramiko spawns a non-interactive SSH session which does not load
~/.profile. Hence, the nix environment is not added to
PATH and the openocd command is not available. So it seems this structure does not allow remote flashing.
Is this a bug, or do other people solve this differently?