From 11be8376aef717b760015b0d6dcc8bc3b948201c Mon Sep 17 00:00:00 2001 From: druckdev <63563978+druckdev@users.noreply.github.com> Date: Tue, 25 Aug 2020 04:23:57 +0200 Subject: [PATCH] Add description to filterHistory script Add author, date and description to the filterHistory script. Fix other author and date notes formatting. --- .config/zsh/.zshrc | 2 +- .local/bin/filterHistory | 8 ++++++++ .local/bin/zoom-links | 4 ++-- 3 files changed, 11 insertions(+), 3 deletions(-) diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index 9e6966f..cf3410e 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -1,5 +1,5 @@ ## Author: druckdev -## Created 2018-11-23 +## Created: 2018-11-23 # Set terminals title if this is a scratchpad-terminal [ -z "$SCRATCHPAD_TERMINAL" ] || printf "\x1b\x5d\x30\x3bscratchpad-terminal\x07" diff --git a/.local/bin/filterHistory b/.local/bin/filterHistory index ebc2703..6229bff 100755 --- a/.local/bin/filterHistory +++ b/.local/bin/filterHistory @@ -1,5 +1,13 @@ #!/bin/bash +## Author: druckdev +## Created: 2020-06-14 +## +## A script that deletes often used commands in a shell history. +## The script will expect a file as argument and that the history file is in the +## format of zshs extended history. +## An automatic backup is created before deleting that can be used for recovery. + [ $# -eq 1 ] || { echo "Specify history file" >&2; exit 1; } [ -e "$1" ] || { echo "File does not exist" >&2; exit 1; } [ "$(stat -c '%a' "$1")" = "600" ] || { echo "File does not look like a history file" >&2; exit 1; } diff --git a/.local/bin/zoom-links b/.local/bin/zoom-links index e6a3fa4..b868289 100755 --- a/.local/bin/zoom-links +++ b/.local/bin/zoom-links @@ -1,7 +1,7 @@ #!/bin/sh -## Author: druckdev -## Created 2020-06-05 +## Author: druckdev +## Created: 2020-06-05 ## ## A script that modifies Zoom links for the use in browsers, opens it then in a private chromium ## window and puts the password into the clipboard. If no argument is given the link is taken out