dot_config/bash/history.sh

@@ -1,24 +1,3 @@
-# don't put duplicate lines or lines starting with space in the history.
-# See bash(1) for more options
-HISTCONTROL=ignoreboth
-
-##
-## history: http://mywiki.wooledge.org/BashFAQ/088
-##
-
-# Big history
-HISTFILESIZE=10000
-HISTSIZE=10000
-HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S "
-
-# history -a causes an immediate write of all new history lines
-# (instead of upon shell exit)
-PROMPT_COMMAND="history -a; ${PROMPT_COMMAND}"
-
-# histappend which causes all new history lines to be appended, and ensures
-# that multiple logins do not overwrite each other's history
-shopt -s histappend
-
 if which atuin > /dev/null 2>&1 ; then
   ATUIN_SESSION=$(atuin uuid)
   export ATUIN_SESSION
@@ -54,4 +33,25 @@ if which atuin > /dev/null 2>&1 ; then
   if [[ -z $ATUIN_NOBIND ]]; then
     bind -x '"\C-r": __atuin_history'
   fi
+else
+  # don't put duplicate lines or lines starting with space in the history.
+  # See bash(1) for more options
+  HISTCONTROL=ignoreboth
+
+  ##
+  ## history: http://mywiki.wooledge.org/BashFAQ/088
+  ##
+
+  # Big history
+  HISTFILESIZE=10000
+  HISTSIZE=10000
+  HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S "
+
+  # history -a causes an immediate write of all new history lines
+  # (instead of upon shell exit)
+  PROMPT_COMMAND="history -a"
+
+  # histappend which causes all new history lines to be appended, and ensures
+  # that multiple logins do not overwrite each other's history
+  shopt -s histappend
 fi

private_dot_local/private_bin/executable_rename-colons-to-dashes.sh

@@ -1,3 +0,0 @@
-#!/bin/sh
-
-find . -name '*:*' -type f -print0 | perl -0ne 'rename $_, s{[^/]+$}{$& =~ y/:/-/r}res or warn "rename $_: $!"'