Home

Awesome

A Grid'5000 plugin for your oh-my-zsh installation (functions, theme, auto-complete helpers, ...)

grid5000-zsh-plugin Theme

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

  1. Create the `~/.oh-my-zsh/custom/plugins directory

     mkdir ~/.oh-my-zsh/custom/plugins
    
  2. Clone the repository

     git clone https://github.com/pmorillon/grid5000-zsh-plugin.git ~/.oh-my-zsh/custom/plugins/grid5000
    
  3. Install Grid'5000 theme

     ln -s ./plugins/grid5000/grid5000.zsh-theme ~/.oh-my-zsh/custom/grid5000.zsh-theme
    

Usage