Mute unavoidable ShellCheck warnings

dotfiles/bash/post.bashrc

@@ -4,6 +4,7 @@
 ### things to do AFTER host/user-specific settings ###
 ######################################################
 
+#shellcheck disable=2120
 __bashum__lastrv() {
     local rvfile        # path to return value cache file
     local lastrv        # actual last return value
@@ -33,6 +34,7 @@ __bashum__task_context() {
     echo -n "|$ctx"
 }
 
+#shellcheck disable=SC2154 disable=2016
 __bashum__mkps1() {
     # these functions must be already defined by ~/.bash/user/*.bashrc
     # and ~/.bash/host/*.bashrc
@@ -54,6 +56,7 @@ __bashum__mkps1() {
     echo '$ '                               # obligatory dollar
 }
 
+#shellcheck disable=SC2154
 __bashum__mkps2() {
     echo "$white>$yellow>$lyellow>$normal "
 }
@@ -89,6 +92,7 @@ __bashum__set_title() {
     esac
 }
 
+#shellcheck disable=SC2016
 __bashum__mkpc() {
     #
     # Compose PROMPT_COMMAND body