diff options
| -rw-r--r-- | TODO4stretch_rename.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/TODO4stretch_rename.txt b/TODO4stretch_rename.txt index fd2a4b59..fdbc74f5 100644 --- a/TODO4stretch_rename.txt +++ b/TODO4stretch_rename.txt @@ -1,6 +1,6 @@ special deployement needed for this: ------------------------------------ - * stop workers # FIXME -command? + $ sudo systemctl stop reproducible_build@startup.service $ sudo -u jenkins /srv/jenkins/bin/reproducible_cleanup_nodes.sh $ sudo -u jenkins /srv/jenkins/bin/reproducible_cleanup_nodes.sh * https://jenkins.debian.net/quietDown @@ -27,7 +27,7 @@ special deployement needed for this: * https://jenkins.debian.net/view/reproducible/view/Debian_setup_arm64/ * https://jenkins.debian.net/view/reproducible/view/Debian_setup_armhf/ * https://jenkins.debian.net/view/reproducible/view/Debian_setup_i386/ - * restart workers # FIXME -command? + $ sudo systemctl start reproducible_build@startup.service changes not yet prepared in git ------------------------------- |