| 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
 
 
  |