From 753035cc57a50b0015e39d0d0e6272d480149603 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Tue, 13 Feb 2018 11:08:42 -0800
Subject: [PATCH] Support installing dotfiles separately.

---
 install.sh | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/install.sh b/install.sh
index 58068ec..449719a 100755
--- a/install.sh
+++ b/install.sh
@@ -320,15 +320,19 @@ verbose() {
 
 # Operations
 
-install_main() {
-  test $MINIMAL = 1 || prerequisites
-  test $INSTALL_PKGS = 1 && is_deb_system && install_apt_pkgs
+install_dotfiles() {
   install_dotfile_dir "${BASEDIR}/dotfiles"
   test -d "${BASEDIR}/private_dotfiles" && \
     test -d "${BASEDIR}/.git/git-crypt" && \
     install_dotfile_dir "${BASEDIR}/private_dotfiles"
   test -d "${BASEDIR}/local_dotfiles" && \
     install_dotfile_dir "${BASEDIR}/local_dotfiles"
+}
+
+install_main() {
+  test $MINIMAL = 1 || prerequisites
+  test $INSTALL_PKGS = 1 && is_deb_system && install_apt_pkgs
+  install_dotfiles
   install_basic_dir "${BASEDIR}/bin" "${HOME}/bin"
   test $MINIMAL = 1 || postinstall
   test $INSTALL_KEYS = 1 && install_keys
@@ -372,6 +376,9 @@ case $OPERATION in
   install)
     install_main
     ;;
+  dotfiles)
+    install_dotfiles
+    ;;
   package*)
     if [ ${2:-default} != default ] ; then
       install_pkg_set packages.${2}