From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 15 Apr 2019 11:55:18 +0000 (+0200)
Subject: install clean manpage as well, add manpath
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=3204decf4f5e3c96c02055af97a83a3f19f4d49d;p=dotfiles.git

install clean manpage as well, add manpath
---

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