diff options
author | Luke Smith <luke@lukesmith.xyz> | 2019-05-09 07:30:37 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-09 07:30:37 -0400 |
commit | be3ea162793f4a6c1efc5a003e2db89af78e2ac8 (patch) | |
tree | 358c2e00929ade77130f9723f705174d9e38e27c /refresh.sh | |
parent | da13ef12463d1870caed94584db464d68c6b3182 (diff) | |
parent | e0005c695e339c08bda2910b36efe026489adab1 (diff) |
Merge pull request #72 from rjl6789/master
correct colorname declaration
Diffstat (limited to 'refresh.sh')
-rwxr-xr-x | refresh.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/refresh.sh b/refresh.sh new file mode 100755 index 0000000..28ac13c --- /dev/null +++ b/refresh.sh @@ -0,0 +1,2 @@ +#!/bin/sh +sudo make uninstall && make clean && make && sudo make install |