sep argument ignored in args2sh and args2cmd
sep argument ignored in args2sh and args2cmd: a task in Repo2RLEnv R2E-Gym / SWEGEN (Harbor dataset). Both args2sh and args2cmd accept a sep parameter to control the separator between arguments, but neither function actually uses it — they both hardcode a space ' ' regardless of what sep is passed.
Part of FineEnvs/repo2rlenv-r2e-gym.