Some improvements

devenv.nix

@@ -13,7 +13,7 @@
     pkgs.php85Packages.composer
   ];
 
-    enterShell = ''
+  enterShell = ''
     echo "Multiplayer game server dev environment ready."
     php -v | head -1
     redis-cli ping >/dev/null 2>&1 || echo "Redis: start with: devenv up"
@@ -23,4 +23,4 @@
   scripts.reverb.exec = "php artisan reverb:start";
   scripts.simulate.exec = "php artisan game:simulate";
   scripts.test.exec = "php artisan test";
-}
+}