add handy thing to rename files with colons to dashes

dot_config/bash/history.sh

@@ -1,3 +1,24 @@
+# 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
@@ -33,25 +54,4 @@ 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

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