libohad-dev/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: libohad-dev:f3020c0acd7585f3a2aca9a956dba757d73c5c58
Branches Tags
libohad-dev:trunk
..
compare: libohad-dev:aa1b9433db8d01ecc7c2757da276c4227ca7cc65
Branches Tags
libohad-dev:trunk

2 commits
f3020c0acd ... aa1b9433db

Author SHA1 Message Date
Ohad Livne
aa1b9433db
Provide installation suggestions for missing utilities 2026-04-06 21:47:28 +03:00
Ohad Livne
48d960878d
Correctly update executable links 2026-04-06 21:45:55 +03:00
3 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.config/setup/04-install-deb-packages.sh
View file

@ -15,6 +15,7 @@ DEB_PKGS=(
borgbackup
build-essential
catatonit
command-not-found
curl
default-jdk
direnv

2
.local/share/github-versions/fstar
View file

@ -20,7 +20,7 @@ install_fstar() {
rm --force --recursive "${INSTALL_DIR}" && \
mv "${tempdir}"/fstar "$(dirname "${INSTALL_DIR}")" && \
rm --force --recursive "${tempdir}" && \
ln --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
ln --force --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
}
github_update "${package}" "${repo}" fstar_resource install_fstar

2
.local/share/github-versions/tlapm
View file

@ -19,7 +19,7 @@ install_tlapm() {
rm --force --recursive "${INSTALL_DIR}" && \
mv "${tempdir}"/tlapm "$(dirname "${INSTALL_DIR}")" && \
rm --force --recursive "${tempdir}" && \
ln --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
ln --force --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
}
github_update "${package}" "${repo}" tlapm_resource install_tlapm 1.6.0-pre