#!/bin/bash

#This is a custom menu for rofi that allows me to ssh
into many different servers, devices etc.

#Simon Kellet, 25/06/21