diff options
| author | Julian Andres Klode <jak@debian.org> | 2019-01-27 09:20:24 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2019-01-27 09:20:24 +0000 |
| commit | fb700bfa9e1850ca3379c69db0b73435bcd48fea (patch) | |
| tree | ea115e22ccc8ba68b83e5f86d3e90915b80943c9 /cmdline/apt.cc | |
| parent | 4200469bb5a14c4659285917ed30c46a0b15c286 (diff) | |
| parent | 0eceebbdfdc2c5e1d677bff95a9ac1ef2f728337 (diff) | |
Merge branch 'apt-reinstall' into 'master'
Add a "reinstall" command as an alias for "install --reinstall".
See merge request apt-team/apt!46
Diffstat (limited to 'cmdline/apt.cc')
| -rw-r--r-- | cmdline/apt.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmdline/apt.cc b/cmdline/apt.cc index f508406d1..d388e4af4 100644 --- a/cmdline/apt.cc +++ b/cmdline/apt.cc @@ -63,6 +63,7 @@ static std::vector<aptDispatchWithHelp> GetCommands() /*{{{*/ // package stuff {"install", &DoInstall, _("install packages")}, + {"reinstall", &DoInstall, _("reinstall packages")}, {"remove", &DoInstall, _("remove packages")}, {"autoremove", &DoInstall, _("Remove automatically all unused packages")}, {"auto-remove", &DoInstall, nullptr}, |