The dotfiles (or other forms of configuration) for applications I use or have used.
(In case I need to restore these and I forget how to)
git clone --bare https://github.com/MithicSpirit/dotfiles.git .homegit
git --git-dir=$HOME/.homegit --work-tree=$HOME checkout --force
# Restart zsh/fish, set up ssh, register with GitHub and GitLab. After the
# restart, because of aliases/abbreviations, you may also replace `git
# --git-dir=$HOME/.homegit --worktree=$HOME' with just `homegit'.
git --git-dir=$HOME/.homegit --work-tree=$HOME remote add backup [email protected]:MithicSpirit/dotfiles.git
git --git-dir=$HOME/.homegit --work-tree=$HOME remote set-url origin [email protected]:MithicSpirit/dotfiles.git
Then, selectively execute scripts in ~/.local/etc/docs/setup
.
The ~/.profile_custom
file is sourced by ~/.profile
if it exists. It is
intended that this file includes envvars for machine-specific configuration,
such as information about the GPU.
These are the currently supported custom envvars:
REAL_GPU
: Set to type of GPU if a discrete one exists (ornone
otherwise).archimedes
:amd
apollonius
:none