docs: add documentation section and update recipes file location

- Replace incorrect file-based abra verification with functional testing
- Add network connectivity monitoring to abra installer service
- Implement retry logic with proper error handling
- Add user-friendly 'install' command for manual abra repair
- Update documentation to include install command and troubleshooting
- Fix false positive detection in abra installation verification

The enhanced service now:
- Uses 'sudo abra --version' for reliable verification
- Waits for internet connectivity before attempting installation
- Retries up to 3 times with proper backoff
- Provides clear success/failure reporting
- Includes automatic service restart on failure

User can now run 'install' command as fallback when abra installation fails.

AGENTS.md

@@ -6,8 +6,8 @@ This file provides guidelines for AI coding agents operating within this reposit
 
 - **Build**: `make usb-build` (Builds the NixOS workshop ISO)
 - **Local VM**: `make vm` (Starts local VM that simulates USB environment)
-- **Test**: `make status-cloud` (Health checks for cloud infrastructure)
+- **Test**: `make usb-test` (Test USB environment in QEMU)
-- **Deploy**: `make deploy-cloud` (Deploys 15 VMs to Hetzner Cloud)
+- **Deploy**: `make usb-build` (Build workshop USB ISO)
 - **Format**: `make format` (Format Nix files)
 
 ## Code Style Guidelines
@@ -27,32 +27,32 @@ This file provides guidelines for AI coding agents operating within this reposit
 
 ## Container Architecture
 
-- **Local VM**: Provides infrastructure to deploy up to 15 containers on demand (matching production count)
+- **Local VM**: Provides self-contained workshop environment
-- **Container Names**: hopper, curie, lovelace, noether, hamilton, franklin, johnson, clarke, goldberg, liskov, wing, rosen, shaw, karp, rich
+- **Container Names**: workshop-local (single container environment)
-- **Networking**: Private networking with NAT for local development
+- **Networking**: Local networking with DNS resolution
-- **DNS**: Local `.local` domain resolution for testing
+- **DNS**: `*.workshop.local` domain resolution for testing
 
 ## Available Scripts
 
-- `connect <name>` - SSH into specific container
+- `setup` - Initialize local workshop environment
-- `containers` - List all containers with IPs  
+- `deploy <recipe>` - Deploy Co-op Cloud applications
-- `logs` - Show container setup logs
+- `browser [app]` - Open applications in Firefox
 - `recipes` - Display available Co-op Cloud recipes
 - `help` - Show command help
 
 ## Development Workflow
 
-1. Use `make vm-run` for local development
+1. Use `make vm` for local development testing
-2. Test with all 15 containers to match production
+2. Test workshop environment with `make usb-test`
 3. Use `make usb-build` for workshop USB drives (outputs to ./build/iso/)
-4. Deploy to cloud with `make deploy-cloud`
+4. Focus on local deployment and learning
 
 ## General Guidelines
 
 - Keep code concise and readable
 - Prefer declarative over imperative approaches
 - Document complex logic with comments
-- Test locally before cloud deployment
+- Test locally in VM before USB deployment
 - Maintain feature parity between USB/VM environments where possible
 - **ALWAYS check package existence on search.nixos.org before adding new packages**
 

Makefile

@@ -65,7 +65,7 @@ usb-test: usb-build
 	@echo "🧪 Testing USB environment in QEMU..."
 	nix develop --command qemu-system-x86_64 \
 		-cdrom $(ISO_FILE) \
-		-m 2048 \
+		-m 4096 \
 		-enable-kvm \
 		-netdev user,id=net0 \
 		-device virtio-net,netdev=net0 \

README.md

@@ -1,6 +1,6 @@
-# 🚀 DIGITAL INDEPENDENCE DAY Workshop Infrastructure
+# 🚀 Digital Independence Day Workshop
 
-Single-participant learning environments with local practice and cloud deployment capabilities.
+Part of the Science in the City Festival - Single-participant learning environments for hands-on Co-op Cloud deployment practice.
 
 ## 🚀 Quick Start
 
@@ -12,9 +12,8 @@ make vm
 make usb-build
 make usb-flash USB_DEVICE=/dev/sdX
 
-# 3. Deploy cloud infrastructure
+# 3. Test your USB build
-export HCLOUD_TOKEN="your_token"
+make usb-test
-make deploy-cloud
 ```
 
 ## 🎯 Learning Flow
@@ -27,12 +26,10 @@ deploy wordpress           # Deploy locally
 browser wordpress          # Open directly in Firefox
 ```
 
-### Cloud Deployment
+### Local Practice Only
 ```bash
-connect hopper             # SSH to cloud server
+# Focus on local development and testing
-# Same abra commands work here
+# All deployment happens locally on your USB/VM
-abra app new wordpress -S --domain=blog.hopper.codecrispi.es
-abra app deploy blog.hopper.codecrispi.es
 ```
 
 ## 🗃️ Architecture
@@ -41,17 +38,18 @@ abra app deploy blog.hopper.codecrispi.es
 
 - **USB Boot**: Bootable NixOS with Docker + abra for hands-on learning
 - **Local VM**: Identical environment for development/testing  
-- **Cloud Servers**: 15 production servers (hopper, curie, lovelace, etc.)
+- **Local Environment**: Self-contained workshop environment
 - **Wildcard DNS**: `*.workshop.local` resolves to `127.0.0.1` via dnsmasq
 
 ## 💾 USB Environment
 
 Pre-configured with:
+- **Automatic WiFi connection** to workshop network
 - Docker Swarm + abra installation
 - SSH client for cloud access
 - Wildcard DNS resolution (dnsmasq)
 - Terminal-first interface (`desktop` command for GUI)
-- Helper commands: `recipes`, `deploy`, `connect`, `browser`, `help`
+- Helper commands: `recipes`, `deploy`, `browser`, `help`
 - Tab completion for all commands
 
 Build and flash:
@@ -60,14 +58,13 @@ make usb-build
 make usb-flash USB_DEVICE=/dev/sdb
 ```
 
-## 🌐 Cloud Deployment
+## 🧪 Testing & Validation
 
-Creates 15 Hetzner VMs at `{name}.codecrispi.es`:
+Test your workshop environment:
 
 ```bash
-export HCLOUD_TOKEN="your_token"
+make usb-test      # Test ISO in QEMU
-make deploy-cloud
+make status-local  # Check local services
-make status-cloud  # Check health
 ```
 
 ## 🖥️ Local Development
@@ -86,6 +83,8 @@ The VM simulates the USB experience with identical configuration and commands.
 
 ## 📚 Complete Recipe Catalog
 
+For the complete list of all recipes, see [RECIPES.md](docs/RECIPES.md)
+
 Based on Co-op Cloud with quality scoring:
 
 ### ⭐ Tier 1 - Production Ready (Score 5)
@@ -131,7 +130,8 @@ Based on Co-op Cloud with quality scoring:
 - `recipes` - Show complete Co-op Cloud catalog
 - `deploy <app>` - Deploy locally with tab completion
 - `browser [app]` - Launch Firefox [to specific app]
-- `connect <server>` - SSH to cloud server with tab completion
+- `install` - Repair abra installation if needed
+
 - `desktop` - Start GUI session
 - `help` - Show all commands and debug info
 
@@ -146,15 +146,20 @@ browser                     # Opens Firefox with blank page
 
 # Use tab completion
 deploy <TAB>               # Shows all available recipes
-connect <TAB>              # Shows all available servers
+browser <TAB>              # Shows deployed applications
 ```
 
 ## 🔧 Prerequisites
 
 - Nix with flakes enabled
-- SSH key at `~/.ssh/id_ed25519.pub`
-- HCLOUD_TOKEN for cloud deployment
 - 2GB+ RAM for VM testing
+- USB drive (8GB+) for workshop distribution
+- SSH key at `~/.ssh/id_ed25519.pub` (for cloud deployment only)
+
+## 📖 Documentation
+
+- [Manual Network Setup](docs/MANUAL_NETWORK_SETUP.md)
+- [USB Boot Instructions](docs/USB_BOOT_INSTRUCTIONS.md)
 
 ## 🛠️ Development Tools
 
@@ -170,12 +175,23 @@ make opencode       # Start opencode in dev shell
 
 ```bash
 make clean         # Clean build artifacts (./build/ and ./result/)
-make destroy-cloud # Cloud infrastructure
 ```
 
 ## 🔍 Troubleshooting
 
 ```bash
+# Check WiFi connection (should connect automatically)
+nmcli connection show --active
+
+# Check abra installation
+sudo abra --version
+
+# Repair abra installation
+install
+
+# Check abra service status
+sudo systemctl status workshop-abra-install
+
 # Check DNS resolution
 dig @127.0.0.1 test.workshop.local
 

common.nix

@@ -1,9 +1,7 @@
 {
   pkgs,
   lib ? pkgs.lib,
-  cloudServerNames,
   isLiveIso ? false,
-  ...
 }:
 
 let
@@ -246,6 +244,31 @@ isoConfig
       enable = true;
       wifi.backend = "wpa_supplicant"; # Standard backend for live ISOs
       dns = "none"; # We use dnsmasq
+      ensureProfiles = {
+        profiles = {
+          "CODE_CRISPIES" = {
+            connection = {
+              id = "CODE_CRISPIES";
+              type = "wifi";
+              autoconnect = true;
+            };
+            wifi = {
+              mode = "infrastructure";
+              ssid = "CODE_CRISPIES";
+            };
+            wifi-security = {
+              key-mgmt = "wpa-psk";
+              psk = "scienceinthecity2025";
+            };
+            ipv4 = {
+              method = "auto";
+            };
+            ipv6 = {
+              method = "auto";
+            };
+          };
+        };
+      };
     };
     hostName = if isLiveIso then "workshop-live" else "workshop-vm";
     hosts."127.0.0.1" = [
@@ -256,15 +279,6 @@ isoConfig
     firewall.enable = false; # Workshop environment
   };
 
-  # WiFi credentials file
-  environment.etc."NetworkManager/workshop-wifi.env" = {
-    text = ''
-      WORKSHOP_SSID="ziegel"
-      WORKSHOP_PSK="1234567890"
-    '';
-    mode = "0600";
-  };
-
   # DNS Configuration - Wildcard *.workshop.local -> 127.0.0.1
   services.dnsmasq = {
     enable = true;
@@ -370,9 +384,6 @@ isoConfig
     networkmanager
     networkmanagerapplet # Network Manager GUI for GNOME
     gnome-control-center # GNOME Settings (includes network panel)
-    wpa_supplicant # Standard WiFi supplicant
-    wirelesstools # Standard WiFi tools
-    iw # Modern WiFi tools
     docker
     docker-compose
     gnome-terminal
@@ -386,7 +397,7 @@ isoConfig
     gnutar
     openssl # Add this for certificate generation
     # Additional font packages for QEMU
-    chromium # Add Chromium browser
+    #chromium # Add Chromium browser
     firefox
     dejavu_fonts
     liberation_ttf
@@ -478,12 +489,12 @@ isoConfig
     };
   };
 
-  # Abra Installation Service (System-wide)
+  # Abra Installation Service (System-wide) with Enhanced Verification
   systemd.services.workshop-abra-install = {
-    description = "Install abra CLI system-wide";
+    description = "Install abra CLI system-wide with retry logic and proper verification";
     wantedBy = [ "multi-user.target" ];
-    after = [ "workshop-system-setup.service" ];
+    after = [ "network-online.target" ];
-    wants = [ "workshop-system-setup.service" ];
+    wants = [ "network-online.target" ];
     path = with pkgs; [
       bash
       wget
@@ -498,21 +509,38 @@ isoConfig
     ];
 
     script = ''
-      # Set proper environment
+      # Enhanced installation with proper verification
       export TERM=xterm-256color
       export HOME=/root
 
-      # Check if abra is already installed
+      # Check if abra is already properly installed (CORRECTED VERIFICATION)
-      if [ -x "/root/.local/bin/abra" ]; then
+      if sudo abra --version >/dev/null 2>&1; then
-        echo "✅ abra already installed"
+        echo "✅ abra already installed and functional"
-        /root/.local/bin/abra --version
         exit 0
       fi
 
-      echo "🚀 Installing abra system-wide..."
+      # Wait for actual internet connectivity
+      echo "🌐 Waiting for internet connectivity..."
+      for i in {1..30}; do
+        if curl -s --max-time 5 https://abra.coopcloud.tech >/dev/null 2>&1; then
+          echo "✅ Internet connectivity confirmed"
+          break
+        fi
+        if [ $i -eq 30 ]; then
+          echo "❌ No internet connectivity after 60 seconds"
+          exit 1
+        fi
+        sleep 2
+      done
 
-      # Install to /usr/local/bin (default behavior)
+      # Attempt installation with retry logic
-      curl -fsSL https://install.abra.coopcloud.tech | bash
+      for attempt in {1..3}; do
+        echo "🚀 Installing abra (attempt $attempt/3)..."
+
+        if curl -fsSL https://install.abra.coopcloud.tech | bash; then
+          # Verify installation success using CORRECT check method
+          if sudo abra --version >/dev/null 2>&1; then
+            echo "✅ abra installed successfully"
 
             # Add to bashrc only once
             if ! grep -q "/root/.local/bin" /root/.bashrc 2>/dev/null; then
@@ -520,16 +548,30 @@ isoConfig
               echo "✅ Added /root/.local/bin to PATH in /root/.bashrc"
             fi
 
-      # Verify
+            exit 0
-      if [ -x "/root/.local/bin/abra" ]; then
+          else
-        echo "✅ abra installed to /root/.local/bin/abra"
+            echo "⚠️ Installation script completed but abra not functional"
           fi
+        else
+          echo "❌ Installation attempt $attempt failed"
+        fi
+
+        if [ $attempt -lt 3 ]; then
+          echo "⏳ Retrying in 10 seconds..."
+          sleep 10
+        fi
+      done
+
+      echo "❌ abra installation failed after 3 attempts"
+      exit 1
     '';
 
     serviceConfig = {
       Type = "oneshot";
       RemainAfterExit = true;
       User = "root";
+      Restart = "on-failure";
+      RestartSec = "30s";
       Environment = [
         "TERM=xterm-256color"
         "HOME=/root"
@@ -537,40 +579,14 @@ isoConfig
     };
   };
 
-  # Set Firefox as default browser
-  systemd.services.workshop-set-default-browser = {
-    description = "Set Firefox as the default browser for workshop user";
-    wantedBy = [ "multi-user.target" ];
-    after = [ "network.target" ];
-    path = with pkgs; [
-      xdg-utils
-      coreutils
-      su
-    ];
-    script = ''
-      # Set Firefox as default browser for workshop user
-      su - workshop -c "xdg-settings set default-web-browser firefox.desktop"
-      # Also set MIME types for HTML files
-      su - workshop -c "xdg-mime default firefox.desktop text/html"
-      su - workshop -c "xdg-mime default firefox.desktop x-scheme-handler/http"
-      su - workshop -c "xdg-mime default firefox.desktop x-scheme-handler/https"
-    '';
-    serviceConfig = {
-      Type = "oneshot";
-      RemainAfterExit = true;
-      User = "root";
-    };
-  };
-
   # Enhanced Bash Configuration with All Features
   programs.bash.interactiveShellInit =
     let
       recipeList = builtins.concatStringsSep " " allRecipes;
-      serverList = builtins.concatStringsSep " " cloudServerNames;
     in
     ''
           # Workshop Environment Welcome
-          echo "🚀 CODE CRISPIES Workshop Environment"
+          echo "🚀 SCIENCE IN THE CITY Workshop Environment"
           echo "Mode: Local Development (Offline Co-op Cloud)"
           echo ""
         
@@ -605,7 +621,7 @@ isoConfig
                source <(sudo abra autocomplete bash) 2>/dev/null || true
                echo "✅ abra autocomplete enabled"
              else
-             echo "⚠️ abra not found! Check: systemctl status workshop-abra-install"
+               echo "⚠️ abra not found! Install with: curl -fsSL https://install.abra.coopcloud.tech | bash"
              fi
 
            # Build info
@@ -623,13 +639,9 @@ isoConfig
                 COMPREPLY=($(compgen -W "${recipeList}" -- "$cur"))
                 return 0
                 ;;
-              connect)
-                COMPREPLY=($(compgen -W "${serverList}" -- "$cur"))
-                return 0
-                ;;
             esac
           }
-          complete -F _workshop_completion deploy browser connect abra
+          complete -F _workshop_completion deploy browser abra
 
           # Core Workshop Functions
            setup() {
@@ -679,7 +691,7 @@ isoConfig
                 echo "✅ abra available via sudo: $(sudo which abra)"
               else
                 echo "❌ abra not available via sudo"
-               echo "   Check: systemctl status workshop-abra-install"
+                echo "   Check: which abra && abra --version"
                 return 1
               fi
 
@@ -1170,13 +1182,9 @@ isoConfig
           }
         
           connect() {
-            if [[ -z "$1" ]]; then
+            echo "🔌 SSH connection helper (workshop environment)"
-              echo "Usage: connect <name>"
+            echo "Usage: ssh -o StrictHostKeyChecking=no user@host"
-              echo "Available: ${serverList}"
+            echo "Note: This workshop focuses on local development only"
-              return 1
-            fi
-            echo "🔌 Connecting to $1.codecrispi.es..."
-            ssh -o StrictHostKeyChecking=no workshop@$1.codecrispi.es
           }
         
            browser() {
@@ -1197,6 +1205,32 @@ isoConfig
               fi
              }
 
+           install() {
+             echo "🔄 Checking and repairing abra installation..."
+
+             # Use the CORRECT check method (matches service verification)
+             if sudo abra --version >/dev/null 2>&1; then
+               echo "✅ abra is already installed and functional"
+               return 0
+             fi
+
+             echo "🔄 Restarting abra installation service..."
+             sudo systemctl restart workshop-abra-install
+
+             # Monitor installation progress
+             echo "📊 Monitoring installation..."
+             for i in {1..30}; do
+               if sudo abra --version >/dev/null 2>&1; then
+                 echo "✅ abra installation completed successfully!"
+                 return 0
+               fi
+               sleep 2
+             done
+
+             echo "❌ Installation still not complete. Check status:"
+             echo "   sudo systemctl status workshop-abra-install"
+           }
+
            recipes() {
             echo "📚 Complete Co-op Cloud Recipe Catalog:"
             echo ""
@@ -1259,7 +1293,7 @@ isoConfig
            }
 
             help() {
-             echo "🚀 CODE CRISPIES Workshop Commands:"
+              echo "🚀 SCIENCE IN THE CITY Workshop Commands:"
               echo ""
               echo "🏠 Local Development:"
               echo "  setup              - Setup local proxy (REQUIRED FIRST!)"
@@ -1272,9 +1306,9 @@ isoConfig
               echo "🌐 Network:"
               echo "  network_help       - Network configuration guide"
               echo ""
-             echo "☁️ Cloud Access:"
+              echo "🔧 Workshop Tools:"
-             echo "  connect <name>     - SSH to cloud server"
+              echo "  connect            - SSH connection helper"
-             echo "  Available: ${serverList}"
+              echo "  help               - Show this help message"
               echo ""
               echo "🔍 Debug:"
               echo "  docker service ls  - List running services"
@@ -1285,7 +1319,7 @@ isoConfig
               echo "  1. setup"
               echo "  2. deploy wordpress"
               echo "  3. browser wordpress"
-             echo "  4. connect hopper"
+              echo "  4. explore workshop environment"
             }
     '';
 

docs/MANUAL_NETWORK_SETUP.md

@@ -79,11 +79,15 @@ echo "nameserver 8.8.8.8" | sudo tee /etc/resolv.conf
 
 ## Workshop-Specific Network Setup
 
-### Connect to Workshop WiFi
+### Workshop WiFi (Automatic)
+
+The workshop environment automatically connects to the "CODE_CRISPIES" WiFi network using declarative NetworkManager configuration. No manual setup is required.
+
+If you need to connect to a different network:
 
 ```bash
 # Connect to workshop hotspot (if available)
-nmcli device wifi connect "ziegel" password "1234567890"
+nmcli device wifi connect "CODE_CRISPIES" password "scienceinthecity2025"
 ```
 
 ### Configure Local DNS Resolution
@@ -101,10 +105,10 @@ nslookup traefik.workshop.local 127.0.0.1
 
 When internet is not available during workshop setup:
 
-1. **Configure Network Manually**
+1. **Network Connects Automatically**
     ```bash
-   # Use one of the methods above to get network connectivity
+    # WiFi connects automatically to "CODE_CRISPIES" on boot
-   nmcli device wifi connect "YourNetwork" password "YourPassword"
+    # Check connection: nmcli connection show --active
     ```
 
 2. **Skip Online Dependencies**
@@ -115,8 +119,15 @@ When internet is not available during workshop setup:
 
 3. **Manual abra Installation** (if needed)
    ```bash
-   # Download abra binary manually on another machine and transfer via USB
+   # Use the install command (preferred)
-   # Or use a local package repository
+   install
+
+   # Or manually restart the service
+   sudo systemctl restart workshop-abra-install
+
+   # Check installation status
+   sudo systemctl status workshop-abra-install
+   sudo abra --version
    ```
 
 4. **Deploy Local Services**
@@ -219,11 +230,14 @@ ping 8.8.8.8
 # Test DNS
 nslookup google.com
 
-# Test workshop services
+# Test abra installation
-curl http://traefik.workshop.local
+sudo abra --version
 
 # Test abra connectivity
 sudo abra server ls
+
+# Test workshop services
+curl http://traefik.workshop.local
 ```
 
 ## Getting Help

docs/RECIPES.md

@@ -91,6 +91,7 @@
 | mailman3 | 3 | The GNU Mailing List Management System | [https://recipes.coopcloud.tech/mailman3](https://recipes.coopcloud.tech/mailman3) |
 | mailu | 3 | A simple yet full-featured mail server | [https://recipes.coopcloud.tech/mailu](https://recipes.coopcloud.tech/mailu) |
 | mastodon | 3 | A free, open-source social network server | [https://recipes.coopcloud.tech/mastodon](https://recipes.coopcloud.tech/mastodon) |
+| matrix-synapse | 3 | A Matrix homeserver written in Python | [https://recipes.coopcloud.tech/matrix-synapse](https://recipes.coopcloud.tech/matrix-synapse) |
 | matomo | 3 | A Google Analytics alternative that protects your data and your customers' privacy | [https://recipes.coopcloud.tech/matomo](https://recipes.coopcloud.tech/matomo) |
 | mattermost | 3 | Secure collaboration platform | [https://recipes.coopcloud.tech/mattermost](https://recipes.coopcloud.tech/mattermost) |
 | mattermost-lts | 3 | Long-term support for Mattermost | [https://recipes.coopcloud.tech/mattermost-lts](https://recipes.coopcloud.tech/mattermost-lts) |
@@ -115,6 +116,7 @@
 | nextcloud | 5 | A safe home for all your data | [https://recipes.coopcloud.tech/nextcloud](https://recipes.coopcloud.tech/nextcloud) |
 | nitter | 3 | An alternative Twitter front-end | [https://recipes.coopcloud.tech/nitter](https://recipes.coopcloud.tech/nitter) |
 | nocodb | 3 | An open source Airtable alternative | [https://recipes.coopcloud.tech/nocodb](https://recipes.coopcloud.tech/nocodb) |
+| node-red | 3 | Low-code programming for event-driven applications | [https://recipes.coopcloud.tech/node-red](https://recipes.coopcloud.tech/node-red) |
 | notea | 3 | A self-hosted note-taking app | [https://recipes.coopcloud.tech/notea](https://recipes.coopcloud.tech/notea) |
 | ntfy | 3 | A simple HTTP-based pub-sub notification service | [https://recipes.coopcloud.tech/ntfy](https://recipes.coopcloud.tech/ntfy) |
 | oasis | 3 | A tool for building and managing online communities | [https://recipes.coopcloud.tech/oasis](https://recipes.coopcloud.tech/oasis) |

docs/USB_BOOT_INSTRUCTIONS.md

@@ -2,8 +2,7 @@
 
 ### Quick Reference Card
 
-**Your assigned server:** `__________.codecrispi.es`
+**Workshop WiFi:** `CODE_CRISPIES` / Password: `scienceinthecity2025`
-**Workshop WiFi:** `CODE_CRISPIES_GUEST` / Password: `workshop2024`
 
 ---
 
@@ -72,12 +71,16 @@
 ## Getting Started Commands
 
 ```bash
-# Connect to your assigned server
+# WiFi connects automatically - no manual setup needed!
-connect hopper
+# Set up your local environment
+setup
 
 # See available app recipes
 recipes
 
+# If abra installation failed (rare case)
+install
+
 # Get help
 help
 ```
@@ -117,5 +120,10 @@ Name: Android, Password: (ask facilitator)
 → Note: Terminal no longer auto-starts to prevent boot hangs
 
 **Can't connect to internet**
-→ Try different WiFi network
+→ WiFi should connect automatically to "CODE_CRISPIES"
-→ Use mobile hotspot as backup
+→ If not, use mobile hotspot as backup
+→ Check: nmcli connection show --active
+
+**Abra not working**
+→ Run: install
+→ Check: sudo systemctl status workshop-abra-install

flake.nix

@@ -19,32 +19,13 @@
       system = "x86_64-linux";
       pkgs = nixpkgs.legacyPackages.${system};
 
-      # Server names for cloud connections
-      cloudServerNames = [
-        "hopper"
-        "curie"
-        "lovelace"
-        "noether"
-        "hamilton"
-        "franklin"
-        "johnson"
-        "clarke"
-        "goldberg"
-        "liskov"
-        "wing"
-        "rosen"
-        "shaw"
-        "karp"
-        "rich"
-      ];
-
       # Common configuration
       commonConfig =
         {
           isLiveIso ? false,
         }:
         import ./common.nix {
-          inherit pkgs cloudServerNames isLiveIso;
+          inherit pkgs isLiveIso;
         };
     in
     {