Use wrapped at
This commit is contained in:
parent
771ffc489a
commit
6b4b02bda5
1 changed files with 2 additions and 2 deletions
|
@ -14,8 +14,8 @@ pkgs.mkShell {
|
||||||
#!${bash}/bin/bash
|
#!${bash}/bin/bash
|
||||||
|
|
||||||
function stopdockers {
|
function stopdockers {
|
||||||
echo ${docker}/bin/docker stop dodona-db | ${at}/bin/at NOW
|
echo ${docker}/bin/docker stop dodona-db | at NOW
|
||||||
echo ${docker}/bin/docker stop dodona-cache | ${at}/bin/at NOW
|
echo ${docker}/bin/docker stop dodona-cache | at NOW
|
||||||
}
|
}
|
||||||
|
|
||||||
trap stopdockers 0
|
trap stopdockers 0
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue