Fix linter

Dependencies

• [2] VMUKZQZR Work on 02-nix-build
• [3] 7AUC4NKI Initial commit
• [4] JGZ7GBCL Add linting

Change contents

• replacement in bash/libdemo.sh at line 41
  [3.971]→[2.1953:2099](∅→∅)
  − if [ "$#" -gt 0 ]; then

  − read -n 1 -s -r -p "$@"

  − else

  − read -n 1 -s -r -p ""

  − fi
  [3.971]

  [3.1005]
  + read -n 1 -s -r -p ""
• replacement in bash/libdemo.sh at line 46
  [2.2110]→[2.2110:2133](∅→∅)
  − demopause "$@"
  [2.2110]

  [2.2133]
  + demopause