diff options
| author | Mike Vink <59492084+ivi-vink@users.noreply.github.com> | 2025-02-11 07:31:55 +0000 |
|---|---|---|
| committer | Mike Vink <59492084+ivi-vink@users.noreply.github.com> | 2025-02-11 07:31:55 +0000 |
| commit | 5d20e2e6cd1c5ddb39b0c593858e1a39640b5caf (patch) | |
| tree | ae757360fdfe51e2ba78b8fb1ab93888ad0c0f9b /.local | |
| parent | ceeed18cca0225715174e0e50953221918fc56cc (diff) | |
use HOME in putdotfiles
Diffstat (limited to '.local')
| -rwxr-xr-x | .local/bin/putdotfiles | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.local/bin/putdotfiles b/.local/bin/putdotfiles index 195770c..5c736ff 100755 --- a/.local/bin/putdotfiles +++ b/.local/bin/putdotfiles @@ -2,10 +2,10 @@ if [ -d "$HOME/.local/src/dotfiles/.git" ]; then cp -rfT \ "$HOME/.local/src/dotfiles" \ - "/home/$USER" + "$HOME" else putgitrepo \ https://github.com/ivi-vink/dotfiles.git \ - /home/$USER + "$HOME" fi -rm -rf "/home/$USER/.git" +rm -rf "$HOME/.git" |