diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -2,7 +2,7 @@ pkgname=ant-dracula-theme-git _pkgname=Ant-Dracula -pkgver=r61.45a3900 +pkgver=r63.ca0e9f3 pkgrel=1 pkgdesc="Dracula variant of the Ant theme" arch=("any") @@ -33,8 +33,6 @@ build() { msg2 "- THEME_FONT_SIZE (default font point size is 10)" msg2 "" msg2 "Continuing build in 5 seconds..."; sleep 5 - msg2 "Setting gnome-shell font face to ${THEME_FONT_FACE}" - msg2 "Setting gnome-shell font size to ${THEME_FONT_SIZE}" msg2 "Rendering assets, please wait" pushd gtk-2.0 @@ -48,6 +46,9 @@ build() { popd msg2 "Done!" + msg2 "Setting gnome-shell font face to ${THEME_FONT_FACE}" + msg2 "Setting gnome-shell font size to ${THEME_FONT_SIZE}" + if [ "${THEME_FONT_FACE}" != "Roboto" ]; then sed -i -re "s/font-family: (.*);/font-family: ${THEME_FONT_FACE}, \1;/" \ "${srcdir}/${_pkgname}/gnome-shell/gnome-shell.css" |