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
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.