Various tweaks

This commit is contained in:
2021-11-16 18:21:23 +01:00
parent 24ac06f925
commit 311d6a678b
4 changed files with 22 additions and 9 deletions

View File

@@ -21,19 +21,29 @@ function setup_git() {
excludesfile = ${HOME}/dotfiles/git/gitignore_global
EOF
mkdir -p ~/.ssh
cat << EOF >> ~/.ssh/config
setup_ssh
cat << EOF >> ~/.ssh/config
Host *
AddKeysToAgent yes
IdentityFile ~/.ssh/thomas_rsa
VisualHostKey yes
Host github.com
User git
User git
Host gitea
HostName git.torpet.thomasloven.com
HostName git.thomasloven.com
User git
EOF
chmod 644 ~/.ssh/config
}
USER=`whoami`
if [[ ${REMOTE_CONTAINERS} || ${DEVCONTAINER} ]]; then
echo "INSTALLING IN DEVCONTAINER"
fi
install_dependencies
sudo -n chsh $USER -s $(which fish)