Name		Name	Last commit message	Last commit date
Latest commit History 84 Commits
README.md		README.md
dev-box-install.sh		dev-box-install.sh
packages.sh		packages.sh
se.sh		se.sh
settings.sh		settings.sh
texpackages.rb		texpackages.rb

Repository files navigation

Machine setup scripts

Clone the repo, branch, then inspect and possibly modify:

settings.sh configures OS settings
packages.sh defines and installs a set of packages
texpackages.rb installs TeX packages
se.sh is for Sealed Envelope specific configuration

Then run dev-box-install.sh.

Both packages.sh and se.sh can be run at any time and should be run regularly.