mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-02-14 17:49:53 +00:00
14 lines
250 B
Bash
14 lines
250 B
Bash
#!/bin/sh
|
|
set -e
|
|
set -u
|
|
|
|
__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
|