ref: 2ebee720a8af84e6f1a4d4e390f723526553b5e0
dir: /bin/rc/themeswitch/
#!/bin/rc
switch($themespec) {
case green
font=/lib/font/bit/uni-vga/u_vga16.font
# font=/lib/font/bit/zevv-peep/zevv-peep-14.font
# font=/lib/font/bit/spleen/spleen.12.font
# font=/lib/font/bit/tamzen/tamzen14.font
themepath=$home/lib/theme/green.theme
case blit
font=/lib/font/bit/fixed/unicode.9x18B.font
font=/lib/font/bit/fixed/unicode.9x15B.font
themepath=$home/lib/theme/blit.theme
case orange
font=/lib/font/bit/zevv-peep/zevv-peep-14.font
font=/lib/font/bit/tamzen/tamzen16.font
themepath=$home/lib/theme/orange.theme
case gruvbox
font=/lib/font/bit/uni-vga/u_vga16.font
themepath=$home/lib/theme/gruvbox.theme
case gruvboxl
font=/lib/font/bit/uni-vga/u_vga16.font
themepath=$home/lib/theme/gruvboxl.theme
case white
font=/lib/font/bit/lucm/unicode.9.font
font=/lib/font/bit/lucidasans/typeunicode.7.font
# font=/lib/font/bit/pelm/unicode.8.font
themepath=$home/lib/theme/white.theme
case greeng
font=/lib/font/bit/zevv-peep/zevv-peep-16.font
themepath=$home/lib/theme/greengold.theme
case nord
font=/lib/font/bit/pelm/unicode.8.font
themepath=$home/lib/theme/nord.theme
}
if(test -f /dev/theme) {
cat $themepath >/dev/theme
}