myconfig

commit 461719f8e1a59c52f9efa8804a2829145bc104a4
parent 0f8c71277ba39cf10bd2474f973896f4eb47a5db
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 19 Dec 2022 18:34:25 +0100

font

Diffstat:
Xdefaults
 | 
10
++++++++--
apt/jplag_new
 | 
5
+++++

2 files changed, 13 insertions(+), 2 deletions(-)
diff --git a/Xdefaults b/Xdefaults
@@ -18,8 +18,8 @@ URxvt.jumpScroll:      true
 #URxvt.boldfont:xft:Terminus:size=8
 #urxvt*perl-lib:           config/urxvt/perl
 urxvt*perl-lib:           /usr/lib/urxvt/perl
-URxvt.perl-ext: default,matcher,url-picker,keyboard-select,url-select,urxvt-pipe,clipboard
-URxvt.perl-ext-common: default,url-picker
+URxvt.perl-ext: default,matcher,url-picker,keyboard-select,url-select,urxvt-pipe,clipboard,font-size
+URxvt.perl-ext-common: default,url-picker,font-size
 #urxvt*urlLauncher:        sensible-browser
 urxvt*matcher.button:     1
 URxvt*url-picker*order:    descending
@@ -52,3 +52,9 @@ URxvt.keysym.M-C-v: perl:clipboard:paste_escaped
 URxvt*iso14755: False
 URxvt.color12: CornflowerBlue
 URxvt.intensityStyles: false
+
+urxvt.keysym.Control-Shift-Up:      perl:font:increment
+urxvt.keysym.Control-Shift-Down:    perl:font:decrement
+
+urxvt*font:     xft:Terminus:pixelsize=18:medium
+urxvt*boldFont: xft:Terminus:pixelsize=18:bold
diff --git a/apt/jplag_new b/apt/jplag_new
@@ -0,0 +1,5 @@
+# to compile and run jplag master (preview of version 4.0.0)
+npm
+maven
+openjdk-17-jdk
+openjdk-17-jre