command/Partition: add command "partition" to switch to another partition

This commit is contained in:
Max Kellermann
2017-02-20 12:37:14 +01:00
parent e48ea5f23a
commit e9e853b19a
4 changed files with 33 additions and 0 deletions

View File

@@ -2368,6 +2368,20 @@ OK
</para>
<variablelist>
<varlistentry id="command_partition">
<term>
<cmdsynopsis>
<command>partition</command>
<arg choice="req"><replaceable>NAME</replaceable></arg>
</cmdsynopsis>
</term>
<listitem>
<para>
Switch the client to a different partition.
</para>
</listitem>
</varlistentry>
<varlistentry id="command_listpartitions">
<term>
<cmdsynopsis>