#[SOLVED] Too many "tools" shown in rEFInd

9 messages · Page 1 of 1 (latest)

frank minnow
#

My rEFInd configuration is ```
include themes/catppuccin/mocha.conf

timeout 5

use_nvram false

font /fonts/UbuntuMono-Nerd-Font-14.png

resolution max

showtools shutdown,reboot,firmware

dont_scan_dirs /

default_selection "Arch Linux"

menuentry "Arch Linux" {
icon /EFI/refind/themes/catppuccin/assets/mocha/icons/os_arch.png
volume "Arch Linux"
loader /boot/vmlinuz-linux-zen
initrd /boot/initramfs-linux-zen.img
options "root=LABEL=arch rw"
submenuentry "Boot using fallback initramfs" {
initrd /boot/initramfs-linux-zen-fallback.img
}
}include themes/catppuccin/mocha.conf

timeout 5

use_nvram false

font /fonts/UbuntuMono-Nerd-Font-14.png

resolution max

showtools shutdown,reboot,firmware

default_selection "Arch Linux"

menuentry "Arch Linux" {
icon /EFI/refind/themes/catppuccin/assets/mocha/icons/os_arch.png
volume "Arch Linux"
loader /boot/vmlinuz-linux-zen
initrd /boot/initramfs-linux-zen.img
options "root=LABEL=arch rw"
submenuentry "Boot using fallback initramfs" {
initrd /boot/initramfs-linux-zen-fallback.img
}
}and `themes/catppuccin/mocha.conf` is

Refind Catppuccin Theme (mocha)

hideui label,singleuser,safemode,hwtest,arrows,hints,editor

use_graphics_for windows,linux

icons_dir themes/catppuccin/assets/mocha/icons

banner themes/catppuccin/assets/mocha/background.png

banner_scale fillscreen

selection_big themes/catppuccin/assets/mocha/selection_big.png
selection_small themes/catppuccin/assets/mocha/selection_small.png```

#

Clearly I have only told it to show the first three tools, and I'm unsure where the other four are coming from

frank minnow
#

I found an issue which links to a closed merge request which works around the problem but doesn't actually solve it, which mentions an open merge request which solves the problem, but strangely has no discourse on it.

#

I'm going to try compiling the open merge request which solves the memory management issues and report on what I see

frank minnow
#

The merge request does in fact solve the problem. Closing!

wary kelp
#

... solved

young ginkgoBOT
#

#9742 📣 If there is nothing else that we can do for you, please close this thread by adding "[SOLVED]" to the title.

  • You can do this on desktop by clicking the three dots on the top right of the page, and pressing "Edit Post".
  • You can also do this on Android / iOS by long tapping your post in the text channel list, and tapping "Edit Post".

Your title should be like so: https://cdn.discordapp.com/attachments/503224329191030787/1039841700417384498/image.png
Thank you

frank minnow
#

oh sorry lol

#

I know about that I just forgot