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-get.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-get.8.xml')
| -rw-r--r-- | doc/apt-get.8.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/apt-get.8.xml b/doc/apt-get.8.xml index 184282e69..b83eabd27 100644 --- a/doc/apt-get.8.xml +++ b/doc/apt-get.8.xml @@ -143,6 +143,10 @@ with a '^' or '$' character, or create a more specific regular expression.</para></listitem> </varlistentry> + <varlistentry><term><option>reinstall</option></term> + <listitem><para><literal>reinstall</literal> is an alias for <literal>install --reinstall</literal>.</para></listitem> + </varlistentry> + <varlistentry><term><option>remove</option></term> <listitem><para><literal>remove</literal> is identical to <literal>install</literal> except that packages are removed instead of installed. Note that removing a package leaves its |