Add description to filterHistory script
Add author, date and description to the filterHistory script. Fix other author and date notes formatting.
This commit is contained in:
@@ -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"
|
||||
|
||||
@@ -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; }
|
||||
|
||||
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user