juancwu/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

check for gh ssh key before proceeding

Browse source
This commit is contained in:
jc 2024-08-20 17:18:12 -04:00
commit e4f7ac8b5f
1 changed files with 6 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

21
bash/setup.zima.sh
View file

@ -7,6 +7,12 @@
# this script installs all the binaries and creates the symbolic links needed for # this script installs all the binaries and creates the symbolic links needed for
# a minimal setup in the zimaboard running Ubuntu 24.04 # a minimal setup in the zimaboard running Ubuntu 24.04
# check github permissions
if [ ! -e "$HOME/.ssh/gh_key" ]; then
echo "Missing GitHub SSH key. Configure before continuing."
exit 1
fi
command_exists() { command_exists() {
command -v "$1" >/dev/null 2>&1 command -v "$1" >/dev/null 2>&1
} }
@ -16,21 +22,6 @@ sudo apt update -y
# install essentials # install essentials
sudo apt install wget curl git sudo apt install wget curl git
# add github ssh key
echo "Enter GitHub SSH Key (press Ctrl+D to end)":
IFS=read -r -d '' gh_key
echo "Saving key in ~/.ssh/ghkey"
mkdir -p ~/.ssh
echo "$ghkey" > ~/.ssh/gh_key
echo "Update GitHub SSH Key permissions"
chmod 0600 ~/.ssh/gh_key
echo "Add key to ssh-agent"
eval $(ssh-agent)
ssh-add ~/.ssh/gh_key
# setup git # setup git
git config --global user.email "46619361+juancwu@users.noreply.github.com" git config --global user.email "46619361+juancwu@users.noreply.github.com"
git config --global user.name "jc" git config --global user.name "jc"