writeScript* -> writeShellScript*

This commit is contained in:
Charlotte Van Petegem 2020-10-16 10:14:34 +02:00
parent 10d39faff4
commit 23b7c3f5a7
No known key found for this signature in database
GPG key ID: 019E764B7184435A
9 changed files with 12 additions and 38 deletions

View file

@ -10,9 +10,7 @@ pkgs.mkShell {
yarn
zlib
(
pkgs.writeScriptBin "start-dockers" ''
#!${bash}/bin/bash
pkgs.writeShellScriptBin "start-dockers" ''
trap "systemd-run --user --no-block docker stop dodona-db dodona-cache" 0
docker run -d --name dodona-db -p 3306:3306 --rm -v dodona-db-data:/var/lib/mysql -e MYSQL_ROOT_PASSWORD=dodona mariadb:latest