linux:restore_menu
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
restore_menu [2012/01/24 09:46] – dodger | restore_menu [2013/07/08 10:02] – dodger | ||
---|---|---|---|
Line 80: | Line 80: | ||
################################################## | ################################################## | ||
EOF | EOF | ||
- | while [[ ! $OPTION =~ ^([1-4]|99)$ ]] | + | while [[ ! $OPTION =~ ^([1-5]|99)$ ]] |
do | do | ||
[ ${OPTION: | [ ${OPTION: |
linux/restore_menu.txt · Last modified: 2024/03/25 07:55 by dodger