How do I manually set the server in the command line?

[LightningFire]

I need to change my server and I am unable to do so through the client(the green light doesn't open the connections window). I think this is because I manually opened a wallet with the -w command. Is there a similar command that can be used to set the server?

[btcbot]

Here's an example, from the Tails docs, about how to set your server and a proxy:

./electrum -s 56ckl5obj37gypcu.onion:50001:t -p socks5:localhost:9050

[LightningFire]

Thank you that is exactly what I was looking for!