From c261d62b36954ee1991d386889370679bc1caf55 Mon Sep 17 00:00:00 2001 From: Anthony Axenov Date: Wed, 12 Apr 2023 17:00:41 +0800 Subject: [PATCH] new jetbrains mono fonts installer --- install/jbmono | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 install/jbmono diff --git a/install/jbmono b/install/jbmono new file mode 100755 index 0000000..a610105 --- /dev/null +++ b/install/jbmono @@ -0,0 +1,22 @@ +#!/bin/bash +##makedesc: Install JetBrains Mono fonts + +# https://www.jetbrains.com/lp/mono/#how-to-install + +echo +echo "===============================================" +echo "Installing JetBrains Mono fonts..." +echo "===============================================" +echo + +installed() { + command -v "$1" >/dev/null 2>&1 +} + +! installed wget && sudo apt install wget +! installed unzip && sudo apt install unzip + +mkdir -p "$HOME/install/jbmono" "$HOME/.local/share/fonts/" +wget https://download.jetbrains.com/fonts/JetBrainsMono-2.304.zip -O "$HOME/install/jbmono.zip" && \ + unzip -oj "$HOME/install/jbmono.zip" "fonts/ttf/*.ttf" -d "$HOME/.local/share/fonts/" && \ + fc-cache -vf "$HOME/.local/share/fonts/"