commit 5fe23409536b8b24c07ba71ca39aac1b83f36896 Author: simone Date: Tue Jul 22 10:00:09 2025 +0000 Add setup_github_ssh.sh diff --git a/setup_github_ssh.sh b/setup_github_ssh.sh new file mode 100644 index 0000000..0d384c4 --- /dev/null +++ b/setup_github_ssh.sh @@ -0,0 +1,50 @@ +#!/bin/bash + +set -e + +KEY_NAME="id_ed25519" +SSH_DIR="$HOME/.ssh" +PRIVATE_KEY_PATH="$SSH_DIR/$KEY_NAME" +PUBLIC_KEY_PATH="$PRIVATE_KEY_PATH.pub" +SSH_CONFIG_PATH="$SSH_DIR/config" + +echo "=== Configurazione SSH per GitHub ===" + +# 1. Crea la cartella .ssh +mkdir -p "$SSH_DIR" +chmod 700 "$SSH_DIR" + +# 2. Chiedi la chiave privata +echo "👉 Incolla la tua chiave SSH PRIVATA (termina con Ctrl+D):" +cat > "$PRIVATE_KEY_PATH" +chmod 600 "$PRIVATE_KEY_PATH" +echo "✅ Chiave privata salvata in $PRIVATE_KEY_PATH" + +# 3. Chiedi la chiave pubblica +echo "👉 Incolla la tua chiave SSH PUBBLICA (termina con Ctrl+D):" +cat > "$PUBLIC_KEY_PATH" +chmod 644 "$PUBLIC_KEY_PATH" +echo "✅ Chiave pubblica salvata in $PUBLIC_KEY_PATH" + +# 4. Aggiungi configurazione SSH per GitHub +echo "🔧 Configurazione ~/.ssh/config" +grep -q "Host github.com" "$SSH_CONFIG_PATH" 2>/dev/null || cat >> "$SSH_CONFIG_PATH" <