From d1b53c92ede78a4068a6e7dbb5cf887712b51aac Mon Sep 17 00:00:00 2001 From: Hippolyte Chauvin Date: Thu, 13 Apr 2023 00:58:13 +0200 Subject: [PATCH] Pas besoin de ce script --- bin/update-grub | 4 ---- 1 file changed, 4 deletions(-) delete mode 100755 bin/update-grub diff --git a/bin/update-grub b/bin/update-grub deleted file mode 100755 index e026dc9..0000000 --- a/bin/update-grub +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -grub-mkconfig \ - -o /boot/grub/grub.cfg -