fall back to python uuid gen

diff --git a/.bin/tmux b/.bin/tmux
index d6ff4b27d0493d3bc36eb134cdf8b4cd345dbb54..3fc4b4fd89181aabadc489b302738293e32acb8e 100755 (executable)
--- a/.bin/tmux
+++ b/.bin/tmux
@@ -41,6 +41,9 @@ fi
 # only without argument create a new session with a random name/id to which we
 # can then attach
 
 # only without argument create a new session with a random name/id to which we
 # can then attach
 

+if ! command -v uuidgen >/dev/null; then
+  uuidgen() { python3 -c 'import uuid; print(uuid.uuid1())'; }
+fi

 UUID=$(uuidgen)
 echo "$UUID" > $LASTSESSIONIDFILE
 
 UUID=$(uuidgen)
 echo "$UUID" > $LASTSESSIONIDFILE