tweak dino

2018-06-20 00:51:17 -04:00 · 2018-06-20 00:51:17 -04:00 · e949d0b32f
parent 0dbcbfa056
commit e949d0b32f
1 changed files with 7 additions and 0 deletions
--- a/src/dino-git/PKGBUILD
+++ b/src/dino-git/PKGBUILD
@ -40,6 +40,13 @@ build() {
 package() {
    cd "${srcdir}/${pkgname%-git}"
    make DESTDIR="${pkgdir}/" install
+    mv "${pkgdir}/usr/bin/dino" "${pkgdir}/usr/bin/dino.real"
+    cat > "${pkgdir}/usr/bin/dino" <<EOF
+#!/bin/sh
+export GDK_DPI_SCALE=1.5
+exec dino.real
+EOF
+    chmod +x "${pkgdir}/usr/bin/dino"
 }

 check() {