This repository has been archived on 2024-03-04. You can view files and clone it, but cannot push or open issues or pull requests.
linux/.bootstrap.sh

17 lines
443 B
Bash

#!/bin/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/master &> /dev/null
# git checkout -t origin/master
git reset --hard HEAD &> /dev/null
git branch --set-upstream-to=origin/master master &> /dev/null