Use custom ports for postgres/hydra

Dependencies

• [2] RXJZO7EV Add devShell for faster feedback
• [3] KPWMZFHZ Add runHydra shell
• [*] RWNXH3H2 lastModified -> lastModifiedDate

Change contents

• replacement in flake.nix at line 303
  [2.275]→[2.275:340](∅→∅)
  − export HYDRA_DBI='dbi:Pg:dbname=hydra;host=localhost;'
  [2.275]

  [2.340]
  + export HYDRA_DBI='dbi:Pg:dbname=hydra;host=localhost;port=64444'
• replacement in run-hydra.nix at line 12
  [3.647]→[3.647:706](∅→∅)
  − export HYDRA_DBI='dbi:Pg:dbname=hydra;host=localhost;'
  [3.647]

  [3.706]
  + export HYDRA_DBI='dbi:Pg:dbname=hydra;host=localhost;port=64444'
• replacement in scripts/start-evaluator.sh at line 4
  [3.845]→[3.845:892](∅→∅)
  − while ! nc -z localhost 3000; do sleep 1; done
  [3.845]

  [3.892]
  + while ! nc -z localhost 63333; do sleep 1; done
• replacement in scripts/start-evaluator.sh at line 6
  [3.893]→[3.893:914](∅→∅)
  − exec hydra-evaluator
  [3.893]
  + touch .hydra-data/hydra.conf

  + HYDRA_CONFIG=$(pwd)/.hydra-data/hydra.conf exec hydra-evaluator
• replacement in scripts/start-hydra.sh at line 4
  [3.1003]→[3.1003:1050](∅→∅)
  − while ! nc -z localhost 5432; do sleep 1; done
  [3.1003]

  [3.1050]
  + while ! nc -z localhost 64444; do sleep 1; done
• replacement in scripts/start-hydra.sh at line 6
  [3.1051]→[3.1051:1097](∅→∅)
  − createdb -h $(pwd)/.hydra-data/postgres hydra
  [3.1051]

  [3.1097]
  + createdb -h $(pwd)/.hydra-data/postgres -p 64444 hydra
• replacement in scripts/start-hydra.sh at line 11
  [3.1165]→[3.1165:1183](∅→∅)
  − exec hydra-server
  [3.1165]
  + touch .hydra-data/hydra.conf

  + HYDRA_CONFIG=$(pwd)/.hydra-data/hydra.conf exec hydra-server --port 63333
• replacement in scripts/start-postgres.sh at line 4
  [3.1266]→[3.1266:1337](∅→∅)
  − exec postgres -D ./.hydra-data/postgres -k $(pwd)/.hydra-data/postgres
  [3.1266]
  + exec postgres -D ./.hydra-data/postgres -k $(pwd)/.hydra-data/postgres -p 64444
• replacement in scripts/start-queue-runner.sh at line 3
  [3.1393]→[3.1393:1485](∅→∅)
  − # wait until hydra is listening on port 3000

  − while ! nc -z localhost 3000; do sleep 1; done
  [3.1393]

  [3.1485]
  + # wait until hydra is listening on port 63333

  + while ! nc -z localhost 63333; do sleep 1; done
• replacement in scripts/start-queue-runner.sh at line 6
  [3.1486]→[3.1486:1505](∅→∅)
  − hydra-queue-runner
  [3.1486]
  + touch .hydra-data/hydra.conf

  + HYDRA_CONFIG=$(pwd)/.hydra-data/hydra.conf exec hydra-queue-runner