add file extensions to scripts

This commit is contained in:
LordMZTE 2023-05-04 19:34:47 +02:00
parent 5c2dfe851d
commit 61778a8dfe
Signed by: LordMZTE
GPG key ID: B64802DC33A64FF6
7 changed files with 6 additions and 3 deletions

View file

@ -14,9 +14,12 @@ zls-git
" "
install-scripts target=(`echo $HOME` + "/.local"): install-scripts target=(`echo $HOME` + "/.local"):
ln -sf \ ln -sf `pwd`/scripts/map-touch-display.rkt {{target}}/bin/map-touch-display
`pwd`/scripts/{map-touch-display,playvid,start-joshuto,withjava,startriver,update-nvim-plugins} \ ln -sf `pwd`/scripts/playvid.rkt {{target}}/bin/playvid
{{target}}/bin ln -sf `pwd`/scripts/start-joshuto.sh {{target}}/bin/start-joshuto
ln -sf `pwd`/scripts/startriver.sh {{target}}/bin/startriver
ln -sf `pwd`/scripts/update-nvim-plugins.rkt {{target}}/bin/update-nvim-plugins
ln -sf `pwd`/scripts/withjava.sh {{target}}/bin/withjava
cd scripts/randomwallpaper && zig build -Doptimize=ReleaseFast -p {{target}} cd scripts/randomwallpaper && zig build -Doptimize=ReleaseFast -p {{target}}
cd scripts/vinput && zig build -Doptimize=ReleaseFast -p {{target}} cd scripts/vinput && zig build -Doptimize=ReleaseFast -p {{target}}