diff options
| author |  John Kohl <jtkohl@mit.edu> | 1988-06-30 13:22:14 +0000 |
|---|---|---|
| committer | John Kohl <jtkohl@mit.edu> | 1988-06-30 13:22:14 +0000 |
| commit | 1d45dc2761849bc81508f956a1ef5adf8f97fb42 (patch) | |
| tree | dfaeabfd3bbec961816fc7dff01f2721610378e2 /clients/zctl | |
| parent | 09641033e360b916fa223d5cf55bdc001eb4d8cd (diff) | |
add un-subscription support
Diffstat (limited to 'clients/zctl')
| -rw-r--r-- | clients/zctl/zctl_cmds.ct | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/clients/zctl/zctl_cmds.ct b/clients/zctl/zctl_cmds.ct index 038a404..4553571 100644 --- a/clients/zctl/zctl_cmds.ct +++ b/clients/zctl/zctl_cmds.ct @@ -1,3 +1,7 @@ +# $Source$ +# $Author$ +# $Header$ +# command_table zctl_cmds; request set_file, "Set default subscriptions file.", @@ -24,8 +28,13 @@ request sub_file, "Subscribe and add to subscriptions file.", add; - request sub_file, "Unsubscribe and delete from subscriptions file.", + request sub_file, "Unsubscribe and add to subscriptions file\n as un-subscription.", + add_unsubscription, add_un; + + request sub_file, "Unsubscribe and delete subscription from\n subscriptions file.", delete, del, dl; + request sub_file, "Delete unsubscription from subscriptions file.", + delete_unsubscription, del_un; request current, "Retrieve current subscriptions.", retrieve, ret; @@ -33,7 +42,7 @@ request current, "Retrieve system-wide default subscriptions.", defaults, defs; - request current, "Save current subscriptions.", + request current, "Save current subscriptions (replacing existing file).", save; request show_var, "Show a variable's value.", @@ -60,7 +69,7 @@ request hm_control, "Tell the HostManager to find a new server.", new_server; - request flush_locations, "Flush all current location information.", + request flush_locations, "Flush all location information.", flush_locs; request ss_list_requests, "List available commands.", |