From dbe697799605c94802426a3c5045537a1b41c2b6 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 10 Jan 2019 11:55:22 +0100 Subject: [PATCH] Updates - Improve install_clean.sh to generate tags as well - Temporarily disable calendar sync - Add beets to the path - Update submodules - Add clipboard shortcuts in vim --- clean/.local/bin/install_clean.sh | 23 ++++++++++++++++++----- email/.mutt/newmail.sh | 2 +- shell/.bashrc | 6 +++--- shell/.config/tmux/config | 2 +- vim/.vimrc | 7 +++++++ 5 files changed, 30 insertions(+), 10 deletions(-) diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh index 745a9e1..e5ee3f1 100755 --- a/clean/.local/bin/install_clean.sh +++ b/clean/.local/bin/install_clean.sh @@ -1,9 +1,21 @@ -#!/bin/sh -cd /tmp -curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz | tar -xz -rm -rf /opt/clean -mv clean-bundle-complete /opt/clean +#!/bin/bash +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" +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 +echo "Downloading cloogletags" +curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS" +chmod +x "$CLEAN_HOME"/bin/cloogletags +echo "Generating tags" +cloogletags -a -c -d "$CLEAN_HOME"/lib -o "$CLEAN_HOME"/lib/tags 2>/dev/null + +echo "Patching StdEnv for binumap" patch /opt/clean/lib/StdEnv/StdGeneric.dcl <k k nnoremap n nzzzv nnoremap N Nzzzv +" Allow yanking to the clipboards in visual mode +vnoremap sy :w ! xclip +vnoremap cy :w ! xclip -sel clip +" Allow pasting from the clipboards in normal mode +nnoremap sp :r ! xclip -o +nnoremap cp :r ! xclip -sel clip -o + " Disable ex mode map Q -- 2.20.1