From 35bbc6a13895aee039035d6d2974fe2f9245ae58 Mon Sep 17 00:00:00 2001 From: AJ ONeal Date: Tue, 28 Jul 2020 23:06:55 -0600 Subject: [PATCH] add nerdfont --- nerd-font/install.sh | 10 ++++++++++ nerd-fonts/install.sh | 12 ++++++++++++ nerdfont/README.md | 43 +++++++++++++++++++++++++++++++++++++++++++ nerdfont/install.sh | 25 +++++++++++++++++++++++++ nerdfonts/install.sh | 12 ++++++++++++ 5 files changed, 102 insertions(+) create mode 100644 nerd-font/install.sh create mode 100644 nerd-fonts/install.sh create mode 100644 nerdfont/README.md create mode 100644 nerdfont/install.sh create mode 100644 nerdfonts/install.sh diff --git a/nerd-font/install.sh b/nerd-font/install.sh new file mode 100644 index 0000000..e2af447 --- /dev/null +++ b/nerd-font/install.sh @@ -0,0 +1,10 @@ +# title: nerd-font (nerdfont alias) +# homepage: https://webinstall.dev/nerdfont +# tagline: Alias for https://webinstall.dev/nerdfont +# alias: nerdfont +# description: | +# See https://webinstall.dev/nerdfont + +echo "'nerd-font' is an alias for 'nerdfont'" +WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"} +curl -fsSL "$WEBI_HOST/nerdfont@${WEBI_VERSION:-}" | bash diff --git a/nerd-fonts/install.sh b/nerd-fonts/install.sh new file mode 100644 index 0000000..bc37cfb --- /dev/null +++ b/nerd-fonts/install.sh @@ -0,0 +1,12 @@ +# 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 + +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 "" diff --git a/nerdfont/README.md b/nerdfont/README.md new file mode 100644 index 0000000..52071b6 --- /dev/null +++ b/nerdfont/README.md @@ -0,0 +1,43 @@ +--- +title: Nerd Font +homepage: https://github.com/ryanoasis/nerd-fonts +tagline: | + takes popular programming fonts and adds a bunch of Glyphs +--- + +## Cheat Sheet + +> A font with a high number of extra glyphs from popular 'iconic fonts' such as +> Font Awesome ➶, Devicons ➶, Octicons ➶, and others. + +![](https://github.com/ryanoasis/nerd-fonts/raw/master/images/sankey-glyphs-combined-diagram.svg) + +This installs just "Droid Sans Mono for Powerline Nerd Font Complete.otf". + +### Enable for Terminal.app + +Find `Terminal` in the top Mac menu, then... + +- => Preferences +- => Profiles +- => [Profile Name] +- => Text +- => Font +- => Change +- => Select "Droid Sans Mono for Powerline Nerd Font Complete.otf" + +![](https://i.imgur.com/zNrfJBa.png) + +### Where does the font go? + +**Mac**: + +```bash +~/Library/Fonts/ +``` + +**Linux**: + +```bash +~/.local/share/fonts/ +``` diff --git a/nerdfont/install.sh b/nerdfont/install.sh new file mode 100644 index 0000000..446a22f --- /dev/null +++ b/nerdfont/install.sh @@ -0,0 +1,25 @@ +install() { + set -e + set -u + + my_nerdfont="Droid Sans Mono for Powerline Nerd Font Complete.otf" + curl -fsSLo "$my_nerdfont" \ + 'https://github.com/ryanoasis/nerd-fonts/raw/master/patched-fonts/DroidSansMono/complete/Droid%20Sans%20Mono%20Nerd%20Font%20Complete.otf' + + + my_fontdir="" + if [ -e "$HOME/Library/Fonts" ]; then + # OS X + mv "$my_nerdfont" ~/Library/Fonts/ + my_fontdir="~/Library/Fonts/" + else + # Linux + mkdir -p ~/.local/share/fonts + mv "$my_nerdfont" ~/.local/share/fonts/ + my_fontdir="~/.local/share/fonts/" + fi + + echo "Installed $my_nerdfont to $my_fontdir" +} + +install diff --git a/nerdfonts/install.sh b/nerdfonts/install.sh new file mode 100644 index 0000000..bc37cfb --- /dev/null +++ b/nerdfonts/install.sh @@ -0,0 +1,12 @@ +# 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 + +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 "" -- 2.25.1