New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Feature request: support VSCode Insiders edition #24
Comments
I don't think it should be a separate command, but it could be an option e.g. |
Although, I feel like you would typically not use both |
The first thing I tried was to |
Ah yeah I think it's just because aliases are processed by the shell and |
Ah, okay. And I imagine |
|
I published version 0.0.11, which adds the flag and environment variable along with another fix. |
Just to be clear for anyone visiting this thread, as of version 0.0.11, to use VSCode Insiders with milatools, the following will work: Set environment variable export MILATOOLS_CODE_COMMAND=code-insiders Then run mila code . |
I'd like to open a ssh connection to a compute node in VSCode Insiders, rather than VSCode (that is, I think as simple as using cli command
code-insiders
rather thancode
). From what I can tell, there isn't currently a way to do this, as runningmila code $PATH_ON_CLUSTER
will salloc a node $NODE_NAME, and try to connect with it using the command
code -nw --remote ssh-remote+$NODE_NAME $PATH_ON_CLUSTER
. I'd like to have the option to usecode-insiders ...
instead.To enable this is I think as simple as modifying
"code",
->"code-insiders",
inmilatools/cli/__main__.py
(line 277)milatools/milatools/cli/__main__.py
Lines 276 to 280 in b4c5257
But ideally, I'd be able to do this with a different command, like
mila code-insiders $PATH_ON_CLUSTER
Is there a reason why this isn't a good idea?
The text was updated successfully, but these errors were encountered: