ajhalili2006
/
dotfiles
mirror of https://gitlab.com/ajhalili2006/dotfiles.git
1
1
Fork 0
Code Releases Activity

Synchorized userland configuration to personal GitHub dotfiles repo 

Signed-off-by: Andrei Jiroh Eugenio Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2021-10-03 18:01:13 +08:00
parent 070b9efaca
commit 438a85995d
Signed by: ajhalili2006
GPG Key ID: A30EBE40AD856D88
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/synchorize-dotfiles
View File

@ -1,12 +1,14 @@
#!/bin/bash
set -exu # WARNING: Chaos ahead!
set -ex # WARNING: Chaos ahead!
DOTFILES_HOME=${DOTFILES_HOME:-"$HOME/.dotfiles"}
DOTFILES_SYNC_COMMIT_MSG="Synchorized userland configuration to personal GitHub dotfiles repo"
if [[ $SKIP_REBASE_STEP == "" ]]; then
git -C "$DOTFILES_HOME" pull --rebase --progress --verbose # Attempt to rebase from upstream remote.
else
git -C "$DOTFILES_HOME" pull --progress --verbose # otherwise just pull stuff if rebase is being skipped
fi
git -C "$DOTFILES_HOME" add . --verbose # Add everything

13
ssh-client/ubuntu
View File

@ -37,3 +37,16 @@ Host ghost-localhost
User ubuntu
IdentityFile ~/.ssh/github-personal
# Even fucking physicial computers!
# TODO: Find that StackExchange ref!
Host winblows.bullshit.hq
Hostname 192.168.254.161
User cursed-remote-user
IdentityFile ~/.ssh/launchpad
# There's no such thing as guilded.gg/guildedguy as there will be only
# discord.gg/gildedguy if you're looking for an place to discuss the lore
# or possibly want to find some fan art as your desktop wallpaper.
Host guildedguy
Hostname 192.168.254.142
User gildedguy
IdentityFile ~/.ssh/launchpad