From 3204decf4f5e3c96c02055af97a83a3f19f4d49d Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 15 Apr 2019 13:55:18 +0200 Subject: [PATCH] install clean manpage as well, add manpath --- clean/.local/bin/install_clean.sh | 9 ++++++++- newsboat/.config/newsboat/urls | 1 + shell/.bashrc | 2 ++ 3 files changed, 11 insertions(+), 1 deletion(-) diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh index e5ee3f1..0bcd7f3 100755 --- a/clean/.local/bin/install_clean.sh +++ b/clean/.local/bin/install_clean.sh @@ -3,12 +3,19 @@ set -e DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz" TAGS="https://gitlab.science.ru.nl/cloogle/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build" +CLM="https://gitlab.science.ru.nl/mlubbers/clm/builds/artifacts/master/raw/clm?job=compile" +CLM1="https://gitlab.science.ru.nl/mlubbers/clm/builds/artifacts/master/raw/clm.1?job=compile" CLEAN_HOME="${CLEAN_HOME:-/opt/clean}" echo "Cleaning up the old distro" rm -rf "$CLEAN_HOME"/* echo "Downloading clean" -curl -sS "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz +curl -sSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz +echo "Replacing clm" +curl -sSLo "$CLEAN_HOME/bin/clm" "$CLM" +echo "Installing manpages" +mkdir -p ~/.local/man/man1 +curl -sSLo ~/.local/man/man1/clm.1 "$CLM1" echo "Downloading cloogletags" curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS" chmod +x "$CLEAN_HOME"/bin/cloogletags diff --git a/newsboat/.config/newsboat/urls b/newsboat/.config/newsboat/urls index febb653..e68166e 100644 --- a/newsboat/.config/newsboat/urls +++ b/newsboat/.config/newsboat/urls @@ -20,3 +20,4 @@ https://www.youtube.com/feeds/videos.xml?channel_id=UCpB27-wOnjRwUOtqQ4L3Tlw yt https://www.youtube.com/feeds/videos.xml?channel_id=UC9-y-6csu5WGm29I7JiwpnA yt "Computerphile" https://www.youtube.com/feeds/videos.xml?channel_id=UC-7I1gU1r6PxBSl87o-7YEQ yt "Drauga1" https://www.youtube.com/feeds/videos.xml?channel_id=UC1ydE9gDHTdvbNVIgEKIKzw yt "VWestlife" +https://www.youtube.com/feeds/videos.xml?channel_id=UCSE6yilNScIz1SLTNQvrXMw yt "Vinheteiro" diff --git a/shell/.bashrc b/shell/.bashrc index 8e1a66a..e84f4e1 100644 --- a/shell/.bashrc +++ b/shell/.bashrc @@ -26,6 +26,8 @@ export PATH=~/.local/bin:$PATH export PATH=$PATH:$CLEAN_HOME/lib/exe:$CLEAN_HOME/bin export PATH=$PATH:/opt/texlive/2018/bin/x86_64-linux:/opt/zotero:/opt/arduino:/opt/beets/bin +export MANPATH=~/.local/share/man:$MANPATH + export GTK_IM_MODULE=xim export QT_IM_MODULE=xim -- 2.20.1