SHOW:
|
|
- or go back to the newest paste.
| 1 | #!/usr/bin/pdmenu | |
| 2 | ## Version: 2012-02-11 | |
| 3 | ## Mods: | |
| 4 | ## By: Digital Foundations | |
| 5 | ## License: GPL | |
| 6 | ## Uses: mc | |
| 7 | ## | |
| 8 | ## Changelog: 29/1/12 - Fixed help, quick-connect | |
| 9 | ## | |
| 10 | # This menu is designed to give quick access to regular | |
| 11 | # repetative tasks performed in the Linux (Debian) console. | |
| 12 | # | |
| 13 | # Save this file in /usr/local/bin | |
| 14 | # and chmod ugo+x /usr/local/bin/pdmenu.* | |
| 15 | ||
| 16 | #Set a pleasing color scheme. | |
| 17 | color:desktop:blue:blue | |
| 18 | color:title:blue:white | |
| 19 | color:base:blue:white | |
| 20 | ||
| 21 | #this is a comment | |
| 22 | menu:ssh:SSH:Select | |
| 23 | preproc:if [ ! -f ~/.local/pdmenu.ssh.hosts ]; then \ | |
| 24 | echo "exec:_demo::ssh -p 22 user@hostname" > ~/.local/pdmenu.ssh.hosts; fi; \ | |
| 25 | cat ~/.local/pdmenu.ssh.hosts | |
| 26 | exec:_Quick-connect:edit:ssh ~Username?:~@~Hostname?:~ -p ~Port?:22~ | |
| 27 | nop | |
| 28 | show:_Help::help | |
| 29 | exec:_Edit hosts::nano ~/.local/pdmenu.ssh.hosts | |
| 30 | exec:_Edit menu::sudo nano /usr/local/bin/pdmenu.ssh | |
| 31 | ||
| 32 | menu:help:Help | |
| 33 | exec:_About:disp:grep '^##' /usr/local/bin/pdmenu.ssh | |
| 34 | exec:_man ssh::man ssh | |
| 35 | exec:_Version:disp:ssh --version | |
| 36 | nop | |
| 37 | exit:_Back to main menu.. |
