mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-03-05 19:00:21 +00:00
14 lines
252 B
Bash
14 lines
252 B
Bash
#!/bin/bash
|
|
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
|