diff options
| author | William Carroll <wpcarro@gmail.com> | 2019-01-13T19·40-0500 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2019-01-13T19·45-0500 |
| commit | 998f60d65c39e3d8be1ce90941c87dcbf2c2f766 (patch) | |
| tree | 41f0afa1592349e51d2fb08da21393ae980e8f0c | |
| parent | 481df5a3855ccd5ea3bf4d5f41ae780f4773b7b4 (diff) | |
Prefer Makefile
In the future, prefer Makefiles instead of ad-hoc shell scripts.
| -rw-r--r-- | Makefile | 2 | ||||
| -rwxr-xr-x | install.sh | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 000000000000..999fc266d931 --- /dev/null +++ b/Makefile @@ -0,0 +1,2 @@ +install: + source "${DOTFILES}/configs/setup" diff --git a/install.sh b/install.sh deleted file mode 100755 index a016f6e78684..000000000000 --- a/install.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/usr/bin/env bash - -source "$DOTFILES/configs/setup" |