mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-03-03 18:00:18 +00:00
18 lines
456 B
Bash
18 lines
456 B
Bash
#!/bin/bash
|
|
# title: nerd-fonts (nerdfont alias)
|
|
# homepage: https://webinstall.dev/nerdfont
|
|
# tagline: Alias for https://webinstall.dev/nerdfont
|
|
# alias: nerdfont
|
|
# description: |
|
|
# See https://webinstall.dev/nerdfont
|
|
|
|
function __todo_nerdfonts() {
|
|
echo "The full Nerd Fonts patcher is not yet available."
|
|
echo "Want the Droid Sans 'nerdfont' in the meantime?"
|
|
echo ""
|
|
echo "Run 'webi nerdfont' instead."
|
|
echo ""
|
|
}
|
|
|
|
__todo_nerdfonts
|