From 03366904de7e678c7b6f6edbad2a7fe804e5f0b7 Mon Sep 17 00:00:00 2001 From: Victor Westerlund Date: Fri, 6 Mar 2026 11:35:53 +0100 Subject: [PATCH] feat(bash): add timestamp to command history (#121) Reviewed-on: https://codeberg.org/vlw/dotfiles/pulls/121 --- .bash_profile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.bash_profile b/.bash_profile index 8b306df..d6ca2ef 100644 --- a/.bash_profile +++ b/.bash_profile @@ -9,6 +9,9 @@ export PS1='\[\e[38;5;46m\]\u\[\e[38;5;2m\]@\[\e[38;5;46m\]\h\[\e[38;5;2m\]:\[\e # Export GPG_TTY for signing stuff with gpg export GPG_TTY=$(tty) +# Set time format for history entries +export HISTTIMEFORMAT="%F %T " + # Create pathrefs to dev folders export L="/var/www/libs" export S="/var/www/sites" @@ -19,4 +22,4 @@ export V="/var/www/fw/vegvisir/" export XDG_BIN_HOME="$HOME/.local/bin" export XDG_DATA_HOME="$HOME/.local/share" export XDG_CACHE_HOME="$HOME/.cache" -export XDG_CONFIG_HOME="$HOME/.config" \ No newline at end of file +export XDG_CONFIG_HOME="$HOME/.config"