[taler-grid5k] 168/189: change grub - disable mitigations

[gnunet]

This is an automated email from the git hooks/post-receive script.

marco-boss pushed a commit to branch master
in repository grid5k.

commit f3e0b8cdd546e1df807b9ef420463a20b4de439a
Author: Boss Marco <bossm8@bfh.ch>
AuthorDate: Wed Apr 20 13:27:05 2022 +0200

    change grub - disable mitigations
---
 image/debian11/taler-debian11.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/image/debian11/taler-debian11.yaml 
b/image/debian11/taler-debian11.yaml
index 92cbd3e..14d7be1 100644
--- a/image/debian11/taler-debian11.yaml
+++ b/image/debian11/taler-debian11.yaml
@@ -55,7 +55,7 @@ global:
   exchange_cflags: "-O2"
   merchant_cflags: "-O2"
   ## Other parameters can be changed, see kameleon info debian10-taler.yaml
-  grub_cmdline_linux: mitigations=off console=tty0 console=ttyS0,115200
+  taler_grub_cmdline_linux: mitigations=off console=tty0 console=ttyS0,115200
 bootstrap:
   ### The bootstrap section takes in charge the initial installation of the
   ## system (distribution installation). No modification should be needed here.
@@ -191,6 +191,9 @@ setup:
          systemctl stop $${taler_disable_services}
          systemctl disable $${taler_disable_services}
 
+    - grub:
+      - exec_in: sed -i 
's|^\(GRUB_CMDLINE_LINUX=\).*|\1"$${taler_grub_cmdline_linux}"|' 
/etc/default/grub
+
 export:
   ### The export section takes in charge the export of your customized 
Grid'5000
   ## environment. No modification should be needed here.

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.