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

(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?


You are viewing a single comment. View All

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