SkillAgentSearch skills...

Dots

Minimalist developer setup

Install / Use

/learn @mvllow/Dots
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

dots

A bare repo resembling your $HOME

Usage

Clone to a temporary directory:

git clone --separate-git-dir=$HOME/dots.git \
    https://github.com/mvllow/dots.git \
    dots-tmp

Copy working tree snapshot to the home directory, then delete the temporary directory:

rsync --recursive --verbose --exclude '.git' dots-tmp/ $HOME/
rm -rf dots-tmp

Add an alias to use git with this new structure:

alias .git='git --git-dir=$HOME/dots.git/ --work-tree=$HOME'

Change upstream from https to ssh:

.git remote set-url origin git@github.com:mvllow/dots.git

Optionally, hide untracked files—you will have to manually add new files:

.git config --local status.showUntrackedFiles no

References

View on GitHub
GitHub Stars56
CategoryDevelopment
Updated2mo ago
Forks1

Languages

Lua

Security Score

80/100

Audited on Feb 2, 2026

No findings