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