jenkins-bot has submitted this change and it was merged.
Change subject: dib: set grub timeout to 0
......................................................................
dib: set grub timeout to 0
Slightly speed up image boot (default is 5 seconds).
Bug: T113342
Change-Id: Iac9e5d91d7d52490ad2954d5166bda21b4541f08
---
A dib/elements/wikimedia/finalise.d/51-grub-no-timeout
1 file changed, 9 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/elements/wikimedia/finalise.d/51-grub-no-timeout
b/dib/elements/wikimedia/finalise.d/51-grub-no-timeout
new file mode 100755
index 0000000..17c3494
--- /dev/null
+++ b/dib/elements/wikimedia/finalise.d/51-grub-no-timeout
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+if [ ${DIB_DEBUG_TRACE:-1} -gt 0 ]; then
+ set -x
+fi
+set -eu
+set -o pipefail
+
+echo 'set timeout=0' >> /boot/grub/grub.cfg
--
To view, visit https://gerrit.wikimedia.org/r/325051
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iac9e5d91d7d52490ad2954d5166bda21b4541f08
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
