Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.shellcheckrc
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2023-02-24 17:52:11 +0200
committernl6720 <nl6720@gmail.com>2023-09-28 10:08:36 +0300
commit8fb5246de6e72d94008006066328d39f67649ad5 (patch)
tree4554dd86bfb44d6e355c8baf03900cd8450acfbd /.shellcheckrc
parent0a3a57a88bd55ce2396e685ab2cf0bde8359be9c (diff)
configs/releng/grub/grub.cfg: play init tune at the end
Move the `play` command to the end of the file so it plays after the menu entries are shown and ready.
Diffstat (limited to '.shellcheckrc')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.