Aggiunta rinomina sessione (F2), eseguibile portabile PyInstaller, repo pubblico su Gitea

- rinomina: append session_info (ultima entry vince, come pi); nome vuoto = cancella
- install.sh preferisce dist/pi-session-launcher se presente
- README: build PyInstaller e URL repo

install.sh

@@ -5,8 +5,16 @@ set -euo pipefail
 
 DIR="$(cd "$(dirname "$0")" && pwd)"
 APP="$DIR/pi-session-launcher.py"
+BIN="$DIR/dist/pi-session-launcher"
 DESKTOP="$HOME/.local/share/applications/pi-session-launcher.desktop"
 
+# usa l'eseguibile portabile se presente, altrimenti lo script python
+if [[ -x "$BIN" ]]; then
+    EXEC="$BIN"
+else
+    EXEC="$APP"
+fi
+
 # sintassi: ./install.sh [--uninstall]
 if [[ "${1:-}" == "--uninstall" ]]; then
     rm -f "$DESKTOP"
@@ -14,7 +22,7 @@ if [[ "${1:-}" == "--uninstall" ]]; then
     exit 0
 fi
 
-chmod +x "$APP"
+chmod +x "$APP" 2>/dev/null || true
 
 mkdir -p "$(dirname "$DESKTOP")"
 cat > "$DESKTOP" <<EOF
@@ -23,7 +31,7 @@ Type=Application
 Name=Pi Session Launcher
 GenericName=Riprendi sessioni di Pi Agent
 Comment=Elenca le sessioni di Pi Agent e le riprende nella loro cartella
-Exec=python3 $APP
+Exec=$EXEC
 Icon=utilities-terminal
 Terminal=false
 Categories=Development;
@@ -31,5 +39,6 @@ Keywords=pi;agent;session;resume;
 EOF
 
 echo "✓ Installato: $DESKTOP"
+echo "  Eseguibile: $EXEC"
 echo "  Cerca 'Pi Session Launcher' nel menu applicazioni KDE."
 echo "  (Per rimuovere: $0 --uninstall)"