Pas besoin de ce script

2023-04-13 00:58:13 +02:00 · 2023-04-13 00:58:13 +02:00 · d1b53c92ed
commit d1b53c92ed
parent 0b0cd477c5
1 changed files with 0 additions and 4 deletions
--- a/bin/update-grub
+++ b/bin/update-grub
@ -1,4 +0,0 @@
-#!/bin/sh
-grub-mkconfig \
-    -o /boot/grub/grub.cfg
-