diff options
author | Josh Triplett <josh@joshtriplett.org> | 2019-01-27 08:27:33 +0100 |
---|---|---|
committer | Josh Triplett <josh@joshtriplett.org> | 2019-01-27 08:27:33 +0100 |
commit | 0eceebbdfdc2c5e1d677bff95a9ac1ef2f728337 (patch) | |
tree | ea115e22ccc8ba68b83e5f86d3e90915b80943c9 /doc/apt.8.xml | |
parent | 4200469bb5a14c4659285917ed30c46a0b15c286 (diff) |
Add a "reinstall" command as an alias for "install --reinstall".
aptitude has a similar "reinstall" command for precedent.
Diffstat (limited to 'doc/apt.8.xml')
-rw-r--r-- | doc/apt.8.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/apt.8.xml b/doc/apt.8.xml index 626419ec3..08492bf54 100644 --- a/doc/apt.8.xml +++ b/doc/apt.8.xml @@ -69,7 +69,7 @@ </para></listitem> </varlistentry> - <varlistentry><term><option>install</option>, <option>remove</option>, <option>purge</option> (&apt-get;)</term> + <varlistentry><term><option>install</option>, <option>reinstall</option>, <option>remove</option>, <option>purge</option> (&apt-get;)</term> <listitem><para>Performs the requested action on one or more packages specified via ®ex;, &glob; or exact match. The requested action can be overridden for specific packages by append a plus (+) to the |