diff --git a/etc/bashrc b/etc/bashrc index 1027d96e0393..0b1cd5164282 100644 --- a/etc/bashrc +++ b/etc/bashrc @@ -11,6 +11,7 @@ fi # Some aliases. alias ls="ls --color=tty" alias ll="ls -l" +alias l="ls -alh" alias which="type -p" # Help `rpcgen' find `cpp', assuming it's installed in the user's environment. diff --git a/installer/grub-menu-builder.sh b/installer/grub-menu-builder.sh index 7d0e241e5268..61a211283332 100644 --- a/installer/grub-menu-builder.sh +++ b/installer/grub-menu-builder.sh @@ -113,19 +113,22 @@ if test -n "@copyKernels@"; then mkdir -p /boot/kernels fi +# Additional entries specified verbatim by the configuration. +extraGrubEntries=$(cat >> $tmp <> $tmp <