|
8c9460c0fd
|
fixgrub.bash: theoretically fix the script
|
2023-12-20 10:47:42 +02:00 |
|
|
fb9fea60c5
|
fixgrub.bash: comment everything, add warning on it being wrong
|
2023-12-20 10:38:26 +02:00 |
|
|
5f5a98ec79
|
add & run shfmt
|
2023-05-18 12:25:47 +03:00 |
|
|
04eab0e211
|
fix indent style
|
2023-04-06 12:03:10 +03:00 |
|
|
351ab22116
|
fixgrub.bash: only run when grub.cfg.rpmsave exists
|
2022-09-17 21:53:31 +03:00 |
|
|
c2ae326994
|
fixgrub.bash: check that the file in question exists first
|
2022-09-11 14:12:58 +03:00 |
|
|
46a7838825
|
bash: add fixgrub.bash to workaround Sedric grub overwrite
|
2022-09-10 23:09:44 +03:00 |
|