diff options
author | Adam Hovorka <[email protected]> | 2019-10-12 22:43:59 -0600 |
---|---|---|
committer | Adam Hovorka <[email protected]> | 2019-10-12 22:43:59 -0600 |
commit | 939d1fa0906d93fe7e52b9a8e35f456f66a7def5 (patch) | |
tree | 367d4937d90f3fd8e0a8b73bce1acd520bcc28b0 /base/dot | |
parent | 10f93011492c06263043e9c7b4d91adf89a9ddb2 (diff) |
Rename dotfile updater script from dot to dotf
Alleviates potential conflict with the `dot` graph drawing language
Diffstat (limited to 'base/dot')
-rwxr-xr-x | base/dot | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/base/dot b/base/dot deleted file mode 100755 index c491cda..0000000 --- a/base/dot +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -cd $HOME/.dotfiles -git pull -./install `cat .dot.args` |