Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pmorillon/grid5000-zsh-plugin
Grid'5000 plugin for oh-my-zsh
https://github.com/pmorillon/grid5000-zsh-plugin
Last synced: about 1 month ago
JSON representation
Grid'5000 plugin for oh-my-zsh
- Host: GitHub
- URL: https://github.com/pmorillon/grid5000-zsh-plugin
- Owner: pmorillon
- Archived: true
- Created: 2012-08-16T17:57:58.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2012-08-17T09:02:25.000Z (almost 12 years ago)
- Last Synced: 2024-01-25T17:36:15.822Z (4 months ago)
- Size: 171 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Lists
- awesome-zsh-plugins - grid5000 - Grid 5000 plugin - adds theme, autocompletions. (Completions / ZSH on Windows)
- fucking-awesome-zsh-plugins - grid5000 - Grid 5000 plugin - adds theme, autocompletions. (Completions / ZSH on Windows)
- awesome-zsh-plugins - grid5000 - Grid 5000 plugin - adds theme, autocompletions. (Completions / ZSH on Windows)
- awesome-zsh-plugins - grid5000-zsh-plugin - Grid 5000 plugin - adds theme, autocompletions. (Completions / Zinit (née zplugin))
README
A [Grid'5000](https://www.grid5000.fr) plugin for your [oh-my-zsh](https://github.com/robbyrussell/oh-my-zsh) installation (functions, theme, auto-complete helpers, ...)
![grid5000-zsh-plugin Theme](http://pmorillon.github.com/images/grid5000-zsh-plugin.png)
## Setup
You need to install [oh-my-zsh](https://github.com/robbyrussell/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
* 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`