- 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.
- Remove unnecessary systemd.services.workshop-wifi-setup service
- Remove environment.etc."NetworkManager/workshop-wifi.env" file
- Add declarative networking.networkmanager.ensureProfiles configuration
- Remove redundant WiFi packages (wpa_supplicant, wirelesstools, iw)
- Update documentation to reflect automatic WiFi connection
- Clean up bash script references to old services
This simplifies the configuration and makes WiFi connection automatic on boot.
- Update workshop name from 'CODE CRISPIES' to 'SCIENCE IN THE CITY'
- Remove all Hetzner cloud deployment references and commands
- Focus documentation on local USB/VM workshop environment
- Remove cloud server connection functionality
- Update WiFi credentials for workshop network
- Clean up AGENTS.md to reflect local-only development workflow
- Remove misleading cloud infrastructure references
- Update help commands and learning flow for local practice only
This commit prepares the workshop materials for the Science in the City event,
focusing exclusively on local Co-op Cloud deployment practice without cloud
infrastructure dependencies.
- Update SSID from 'ziegel' to 'CODE_CRISPIES'
- Update password to 'scienceinthecity2025'
- Update connection check in WiFi setup service
- Sync with USB_BOOT_INSTRUCTIONS.md documentation
- Add back the missing workshop-wifi-setup systemd service
- Service creates and connects to 'ziegel' WiFi network automatically
- Fixes missing WiFi connection that was present in main branch
- Provides fallback hotspot connectivity for workshop environment
- Update 'What You Should See' section to reflect terminal no longer auto-opens
- Update troubleshooting section to clarify terminal behavior
- Add note about terminal not auto-starting to prevent boot hangs
- Comment out hardware.enableAllFirmware and boot.kernelPackages settings
- Comment out GNOME autostart desktop file to prevent boot hangs
- Keep hardware.enableRedistributableFirmware enabled for WiFi support
- Add build locations section to AGENTS.md
- Update README.md with build directory information
- Fix AGENTS.md vm-run command reference
- Document that clean removes both ./build/ and ./result/
- Ensure consistency across all documentation files
Addresses documentation inconsistencies after Makefile changes.
- Change NetworkManager backend from iwd to wpa_supplicant
- Remove custom WiFi profiles to allow auto-detection
- Remove iwd service and package
- Add standard WiFi packages: wpa_supplicant, wirelesstools, iw
- This provides standard NixOS live ISO WiFi functionality
Fixes WiFi controller detection issues in live USB environment.
- Add glib-networking.enable = true (CRITICAL for NetworkManager-GNOME integration)
- Add gnome-settings-daemon.enable = true (handles GNOME settings)
- Add gnome-keyring.enable = true (good practice)
This fixes the missing WiFi options in GNOME settings by enabling
proper integration between NetworkManager and GNOME desktop.
Based on working host configuration analysis.
The VM uses QEMU user-mode networking which provides virtual Ethernet,
not WiFi hardware. WiFi configuration will only be available on real
hardware with actual WiFi adapters in the live USB environment.
- Add gnome-control-center for GNOME Settings network panel
- Add iwd (iNet wireless daemon) for better WiFi support
- Enable iwd service and configure NetworkManager to use it
- This should make WiFi options visible in GNOME settings
Test in VM first with 'make vm' before building new ISO
- Rename build-usb → usb-build
- Rename flash-usb → usb-flash
- Rename test-usb → usb-test
- Fix duplicate vm target in Makefile
- Update README.md and AGENTS.md documentation
- Maintain consistent command naming convention
This makes the commands more intuitive by grouping USB operations
with the 'usb-' prefix, improving developer experience and reducing
confusion about command purposes.
- Add networkmanagerapplet for GUI network management in GNOME
- Add network status checking to bash initialization
- Add network_help function for manual configuration guidance
- Create comprehensive MANUAL_NETWORK_SETUP.md documentation
- Update ISO label to workshop-friendly name
- Fix NetworkManager configuration for live ISO
This resolves the issue where network manager was not accessible
in the live USB boot environment and provides fallback options
for manual network configuration when internet is not available.
- Add nix-env warning to AGENTS.md
- Include QEMU in flake.nix devShell for testing
- Update Makefile to use nix develop for QEMU commands
- Fix test-usb target to work with nix develop environment
- Add dynamic ISO_FILE variable to find actual ISO filename
- Update build-usb, flash-usb, and test-usb targets to use correct filename
- Fix du command and QEMU cdrom parameter to reference actual ISO file
- Rename fonts.fonts to fonts.packages (deprecated option)
- Add cantarell-fonts (GNOME default) and ubuntu-classic for better font coverage
- Should resolve QEMU font warnings for DejaVu Sans Mono
- Add freefont_ttf, ubuntu_font_family, cantarell-fonts to fonts.fonts
- Also add dejavu_fonts and liberation_ttf to systemPackages for QEMU access
- Should resolve Pango font warnings about missing DejaVu Sans Mono variants
- Change from --full-screen to --maximize for better usability
- Maintains workshop terminal title
- Provides maximized terminal window like previous XFCE setup
- Use GDM-specific autoLogin instead of generic displayManager autoLogin
- Auto-login as workshop user instead of root to properly start GNOME session
- Remove conflicting generic autoLogin from flake.nix
- Keep gnome-terminal sessionCommands for workshop terminal
- Change desktopManager from xfce to gnome
- Change displayManager from lightdm to gdm
- Update sessionCommands to use gnome-terminal instead of xfce4-terminal
- .gitignore: Ignore result* files.
- Makefile: Refactored to improve clarity, remove unused targets, add new testing targets (test-usb, test-vm), and streamline cloud deployment commands.
- README.md: Significantly updated to reflect the new single-participant environment focus, refine the learning flow, update commands, and improve overall readability.
- flake.nix: Modified to enable Docker for local development, adjust desktop environment behavior (manual start), and implement improved systemd services for container setup and health monitoring, including retry logic.
- Makefile: Add local-vm-test/local-vm-full targets, improve error messages
- README.md: Document dynamic scaling, add troubleshooting section
- flake.nix: Implement dynamic container generation based on PARTICIPANTS env var
This enables running the workshop VM with 1-15 containers instead of fixed 15,
making local development more accessible on resource-constrained machines.
libretech
