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

Compare commits

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

No commits in common. "aa1b9433db8d01ecc7c2757da276c4227ca7cc65" and "f3020c0acd7585f3a2aca9a956dba757d73c5c58" have entirely different histories.
aa1b9433db ... f3020c0acd

3 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -15,7 +15,6 @@ 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 --force --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
ln --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 --force --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
ln --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
}
github_update "${package}" "${repo}" tlapm_resource install_tlapm 1.6.0-pre