See also: https://github.com/koalaman/shellcheck/issues/1342
@@ -5,7 +5,7 @@ put() {
}
mark="# added by https://github.com/AloisMahdal/mydots"
-if grep -qF "$mark" "$HOME/.bashrc";
+if grep -qFe "$mark" "$HOME/.bashrc";
then
echo "already set up, giving up";
exit 1;