linux/.Bootstrap.sh

#!/usr/bin/env bash

# Check if this is already a git repo.
if [[ -d ".git" ]]; then
	echo "Found the .git directory. Already initialized?"
	exit 1
fi

# Sync.
git init &> /dev/null
git remote add origin https://git.voronind.com/voronind/linux.git &> /dev/null
git fetch &> /dev/null
git reset origin/main &> /dev/null
# git checkout -t origin/main
git reset --hard HEAD &> /dev/null
git checkout main &> /dev/null
git branch --set-upstream-to=origin/main main &> /dev/null
git branch -D master &> /dev/null