| skipped 6 lines |
| 7 | 7 | | HOST_LIST+=($line "") |
| 8 | 8 | | done <<< $(grep -Poh "(?<=^Host\s)[\w._-]*$" ~/.ssh/config) |
| 9 | 9 | | |
| 10 | | - | HEIGHT=30 |
| 11 | | - | WIDTH=60 |
| | 10 | + | HEIGHT=15 |
| | 11 | + | WIDTH=50 |
| 12 | 12 | | BACKTITLE="Select you SSH connection" |
| 13 | 13 | | TITLE="SSH Servers" |
| 14 | 14 | | MENU="Choose one of the following servers:" |
| skipped 12 lines |
Andrea Rabbaglietti
committed
with
GitHub
1 year ago
1 parent 2564601f