#! /bin/bash if [ ! -e /usr/bin/rofi ]; then echo "error: rofi doesn't seem to be installed" exit 1 fi mkdir -p ~/.ssh-menu # Install rofi-config-own or default rofi-config if [ -e rofi-config-own ]; then cp rofi-config-own ~/.ssh-menu/rofi-config else cp rofi-config ~/.ssh-menu/rofi-config fi # Install rofi-forge-cache-own script or default rofi-forge-cache if [ -e rofi-forge-cache-own ]; then cp rofi-forge-cache-own ~/.ssh-menu/rofi-forge-cache else cp rofi-forge-cache ~/.ssh-menu/rofi-forge-cache fi