blob: 6320834b7d99e9823cf8d2d2902933c06b2ccecc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/bin/sh -eu
directory="$XDG_DATA_HOME/bash"
persist="$directory/history"
default="$HOME/.bash_history"
current="$HISTFILE"
_prune() {
sed --in-place '/^#/d' "$1" && # Remove all timestamps.
sed --in-place '/......../!d' "$1" && # Remove all commands 8 characters or less.
sort --unique "$1" | sponge "$1" # Remove all duplicate entries.
}
mkdir --parents "$directory"
touch "$current"
_migrate() {
[ -f "$default" ] &&
cat "$default" >>"$persist" &&
_prune "$persist" &&
rm "$default"
}
_store() {
cat "$current" >> "$persist" &&
_prune "$persist" &&
true > "$current"
}
_migrate || true
_store
|