From d4b328f9b71d76a24139126694564b12a6f12db7 Mon Sep 17 00:00:00 2001
From: Andrew Stowell <andrew@digitaladapt.com>
Date: Thu, 25 Apr 2024 17:06:14 +0000
Subject: [PATCH] ensure ssh-ident works even if you don't use install script.

---
 one-time-stuff/basic-settings.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/one-time-stuff/basic-settings.sh b/one-time-stuff/basic-settings.sh
index da2bd1f..eb471c6 100755
--- a/one-time-stuff/basic-settings.sh
+++ b/one-time-stuff/basic-settings.sh
@@ -213,7 +213,7 @@ esac
 # ----------------------------------------------------------
 
 echo "----- Add symlink for ssh-ident as ssh --------------"
-read -p 'Add "ssh alias for ssh-ident"? (REQUIRES python) [y/N]: ' add_ident
+read -p 'Add "ssh alias for ssh-ident"? (also set python3 as python) [y/N]: ' add_ident
 case $add_ident in
     [Yy]* )
         if [[ ! -f "$HOME/bin/ssh" ]]; then
@@ -222,6 +222,7 @@ case $add_ident in
         else
             echo 'home bin already has ssh, skipping'
         fi
+        sudo apt install python-is-python3
         ;;
     * )
         echo 'Skipping'