Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/pmorillon/grid5000-zsh-plugin below:

pmorillon/grid5000-zsh-plugin: Grid'5000 plugin for oh-my-zsh

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

You need to install oh-my-zsh

From Grid'5000 don't forget to setup the http proxy

export http_proxy=http://proxy:3128
export https_proxy=http://proxy:3128

curl https://raw.github.com/pmorillon/grid5000-zsh-plugin/master/tools/install.sh | zsh

wget --no-check-certificate https://raw.github.com/pmorillon/grid5000-zsh-plugin/master/tools/install.sh -O - | zsh

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
   

• enable the Grid'5000 plugin in your ~/.zshrc

  • example : plugins=(git ruby gem cap rake rvm grid5000)

• 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

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4