diff options
author | clyhtsuriva <aimeric@adjutor.xyz> | 2023-06-04 22:21:06 +0200 |
---|---|---|
committer | clyhtsuriva <aimeric@adjutor.xyz> | 2023-06-04 22:21:06 +0200 |
commit | 8a572c060f51eb956681dee43e1ef3e976a72849 (patch) | |
tree | 02777d2da4b60b6de0b9ff71cca98fe63cc846f6 | |
parent | 51abc55c25209292e132283381e906845097a325 (diff) |
Add makewhatis to the global update script
-rwxr-xr-x | bin/update-everything.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/update-everything.sh b/bin/update-everything.sh index ac3b7f0..4034049 100755 --- a/bin/update-everything.sh +++ b/bin/update-everything.sh @@ -97,6 +97,10 @@ update_scripts_repo(){ } +update_whatis_db(){ + printf_n_notify "update whatis db" + makewhatis /usr/share/man +} # MAIN @@ -115,5 +119,7 @@ printf_accross_width "%" #pip_update # 2023/01/09 : currently not a stable solution to update pip packages printf_accross_width "%" update_scripts_repo +printf_accross_width "%" +update_whatis_db printf_n_notify "<<< Global Update <<<" |