Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
grid [2017/10/10 13:46] belohlavek [Other] |
grid [2017/11/21 18:17] popel [Advanced usage] |
||
---|---|---|---|
Line 55: | Line 55: | ||
[ -f ~/.bashrc ] && source ~/.bashrc | [ -f ~/.bashrc ] && source ~/.bashrc | ||
+ | Make sure you have correctly configured locale (otherwise '' | ||
+ | |||
+ | export LC_ALL=en_US.UTF-8 | ||
===== Basic usage ===== | ===== Basic usage ===== | ||
Line 208: | Line 211: | ||
# immediately on the remote machine | # immediately on the remote machine | ||
history -a; | history -a; | ||
- | # setup the working directory by setting WD | + | # setup the working directory by setting WD, delete possible " |
- | ssh -X -Y -C -t $@ " | + | ssh -X -Y -C -t $@ " |
} | } | ||
Line 244: | Line 247: | ||
* '' | * '' | ||
+ | === Ssh to random sol === | ||
+ | Ondřej Bojar suggests to add the following alias to your .bashrc (cf. [[# | ||
+ | < | ||
===== Job monitoring ===== | ===== Job monitoring ===== | ||