diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:53:29 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:53:29 +0100 |
commit | e833ad723e21592a9dbf198789f570855f9c31b6 (patch) | |
tree | 146482160edc623dd66c819d9ce6dc88e4375ea7 | |
parent | 3c310e5b38d1c3e49a5e931b4e924e6341b8311e (diff) |
args fix
-rw-r--r-- | src/core/procedures/partial-disks | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core/procedures/partial-disks b/src/core/procedures/partial-disks index 0c16c84..8f17e33 100644 --- a/src/core/procedures/partial-disks +++ b/src/core/procedures/partial-disks @@ -19,6 +19,8 @@ process_args () start_process () { + [ -z "$OPERATION" ] && usage && exit 5 + if [ "$OPERATION" = process ] then process_disks |