Awesome
A Grid'5000 plugin for your oh-my-zsh installation (functions, theme, auto-complete helpers, ...)
Setup
You need to install oh-my-zsh
The automatic installer
From Grid'5000 don't forget to setup the http proxy
export http_proxy=http://proxy:3128
export https_proxy=http://proxy:3128
with curl
curl https://raw.github.com/pmorillon/grid5000-zsh-plugin/master/tools/install.sh | zsh
with wget
wget --no-check-certificate https://raw.github.com/pmorillon/grid5000-zsh-plugin/master/tools/install.sh -O - | zsh
The manual way
-
Create the `~/.oh-my-zsh/custom/plugins directory
mkdir ~/.oh-my-zsh/custom/plugins
-
Clone the repository
git clone https://github.com/pmorillon/grid5000-zsh-plugin.git ~/.oh-my-zsh/custom/plugins/grid5000
-
Install Grid'5000 theme
ln -s ./plugins/grid5000/grid5000.zsh-theme ~/.oh-my-zsh/custom/grid5000.zsh-theme
Usage
-
enable the Grid'5000 plugin in your
~/.zshrc
- example :
plugins=(git ruby gem cap rake rvm grid5000)
- example :
-
use the Grid'5000 theme (outside Grid'5000 usage is not recommanded) in your
~/.zshrc
ZSH_THEME="grid5000"
-
Change your default shell on Grid'5000 using the Users API from a frontend
- example :
curl -X PUT -H'Accept: application/json' -H'Content: application/json' -d 'shell=/bin/zsh' -ki https://api.grid5000.fr/2.1/grid5000/users/pmorillo
- example :