Is there a way to change the REPL's language, while it's running?
h
iamFIREcracker

(edited: fixed typo)

It appears like one should be able to do so by changing the .replit file and adding the right language = "..." entry (at least this is how it works when importing a repl from GitHub). However, the same does not seem to work when the repl is running, i.e. after you edit your .replit and refresh the page, the loaded repl still uses the previously defined language.

Is this because the instance the repl is running on has already been provisioned (and I would have to wait for it to be terminated first), or simply it's not possible to change one repl language after it's been created?

Thanks,
M.

You are viewing a single comment. View All
Coder100

no
the language paramater actually doesn't do anything.
The language that the repl is is set when you first import it.

iamFIREcracker

@Coder100 are you sure about that? When I first imported this GitHub repository [0] as a new repl, it did not have language = "nix" inside .replit, and the repl got created with language equal to "Bash". Then I added language = "nix", re-imported it, and the repl turned out with language set to "Nix".

So I think language = ... inside .replit does indeed something...but maybe just at repl creation time.

[0] https://github.com/iamFIREcracker/cl-clack-swank

Coder100

no, it really doesn't.
It is optional, and remember: when you create the repl, you specified the language in a dropdown. @iamFIREcracker

iamFIREcracker

@Coder100 I just told you I imported a repl from Github, so I did not explicitly selected a Language from the dropdown, simply because there was no dropdown to begin with.

I repeat:

  • Same repo
  • Without language = "nix", the repl got imported with language set to Bash
  • With language = "nix", the repl got imported with language set to Nix

Maybe I got lucky, but I find it hard to believe that setting language = inside .replit does not do anything at all -- simply because I got different results when I did specify it, and when I did not.

Coder100

@iamFIREcracker well the thing is
it sort of doesn't do anything

in a way its really misleading because once you set it, you can't change it.