1234567891011121314151617 |
- #!/bin/bash
-
- put() {
- echo "$1" >> "$HOME/.bashrc"
- }
-
- mark="# added by https://gitea.vornet.cz/netvor/mydots"
- if grep -qFe "$mark" "$HOME/.bashrc";
- then
- echo "already set up, giving up";
- exit 1;
- else
- put ''
- put '# added by https://gitea.vornet.cz/netvor/mydots'
- put 'test -f "${HOME}/.bashum/head.bashrc" \'
- put ' && . "${HOME}/.bashum/head.bashrc"'
- fi
|