server-menu

This is a simple shell server menu.

Usage

This script will display a server menu each time you open your shell and give you aliases to just type in a server number to connect to it. After disconnecting, it will display what server name you just disconnected from and re-display the server menu.

You can view the server menu anytime by running menu .

Setup

Step 1. Clone this repo to your home dir. (Using as an example: ~/bin/server-menu/)

mkdir -p ~/bin/
cd ~/bin/
git clone git@bitbucket.org:dhouseholder-ia/server-menu.git
cd server-menu

Step 2. Check out the submodule

git submodule update --init display-boxes

Step 3. Create your configuration

Copy the config-example.txt to example.txt

cp config-example.txt example.txt

Step 4. Edit this new config.txt file and update your username, your computer name, server suffix, and list of servers.

vim config.txt

Follow the comments and examples. The default format is:

ENV:SERVERHOSTNAME

If you need to use a different username for different servers, leave the username field blank and add the username before the servername using the following format:

ENV:USER@SERVERHOSTNAME

For example:

Prod:jimmy@app1-prod

Step 5. Add the following to your ~/.bash_profile:

source ~/bin/server-menu/server-menu.sh
set_title
menu

Step 6. Close your shell and re-launch

Close your terminal and re-open it. You should immediately see the menu.

Note:

If you need to update any servers, just edit the config.txt file, and add/edit the servers in the servers array, then save the file. Finally, run generate_menu to update the server list, and run menu to see the updated menu.

deanhouseholder/server-menu