oSoWoSo/DistroHopper
1
0
Fork 0
mirror of https://github.com/oSoWoSo/DistroHopper.git synced 2024-08-14 22:46:53 +00:00
Code Issues Projects Releases Packages Wiki Activity

use .config instead of tmp

Browse source
This commit is contained in:
zenobit 2023-12-27 08:18:52 +01:00
parent 3936885c16
commit 45851f7574
1 changed files with 5 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

11
q
View file

@ -137,8 +137,8 @@ gum_choose_edition() {
} }
gum_filter_os() { gum_filter_os() {
os=$(gum filter < /tmp/supported) os=$(gum filter < "$configdir/supported")
choices=$(cat "/tmp/distros/$os") choices=$(cat "$configdir/distros/$os")
} }
gum_filter_release() { gum_filter_release() {
@ -582,12 +582,12 @@ hamburger" | gum filter --height 11)
# shellcheck disable=SC2015 # shellcheck disable=SC2015
icons_or() { icons_or() {
gum confirm " Use icons? gum confirm " Use icons?
need Nerd Fonts" && echo "yes" > /tmp/icons || rm /tmp/icons need Nerd Fonts" && echo "yes" > "$configdir/icons" || rm "$configdir/icons"
show_headers show_headers
} }
use_icons() { use_icons() {
if [ -f /tmp/icons ]; then if [ -f "$configdir/icons" ]; then
icons=yes icons=yes
else else
icons="" icons=""
@ -687,7 +687,7 @@ show_header_vms() {
show_header_tip() { show_header_tip() {
tip1=$(gum style --bold --foreground "$color2" "Tip: ") tip1=$(gum style --bold --foreground "$color2" "Tip: ")
tip2=$(gum style "try ") tip2=$(gum style "try ")
tip3=$(shuf -n 1 /tmp/supported) tip3=$(shuf -n 1 "$configdir/supported")
tip4=$(gum style --bold --foreground="$color" "$tip3") tip4=$(gum style --bold --foreground="$color" "$tip3")
tip5=$(gum join "$tip1" "$tip2" "$tip4") tip5=$(gum join "$tip1" "$tip2" "$tip4")
tip6=$("$QUICKGET" -s "$tip3") tip6=$("$QUICKGET" -s "$tip3")
@ -780,7 +780,6 @@ OS homepage
ssh into ssh into
kill kill
delete delete
icons
advanced advanced
settings settings
help help