From 73a9903d47fe72ada4e24c5fec6811a6a0356356 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 15 Jul 2019 22:52:32 +0200
Subject: Updates for Debian 10: increase font face size (new font in
 terminal); add QUOTING_STYLE to stop annoying new ls behaviour

---
 system/.Xresources | 2 +-
 system/.profile    | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'system')

diff --git a/system/.Xresources b/system/.Xresources
index 556d076..ec9da54 100644
--- a/system/.Xresources
+++ b/system/.Xresources
@@ -1,6 +1,6 @@
 *faceName: DejaVu Sans Mono
 *font: xft:DejaVu Sans Mono:size=8,xft:Estrangelo Edessa:size=10
-*faceSize: 8
+*faceSize: 9
 *selectToClipboard: true
 *dynamicColors: on
 
diff --git a/system/.profile b/system/.profile
index 4637065..0e1fc48 100644
--- a/system/.profile
+++ b/system/.profile
@@ -16,8 +16,9 @@ export PATH="$HOME/bin:$PATH"
 export PATH="$HOME/bin.local:$PATH"
 export MANPATH="/usr/local/man:/usr/local/mysql/man:/usr/local/git/man:$MANPATH"
 export SUDO_ASKPASS=~/bin/askpass
-export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=gasp -Dsun.java2d.opengl=true'
 export HISTTIMEFORMAT="%Y-%m-%d %T "
+export QUOTING_STYLE=literal
+export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=gasp -Dsun.java2d.opengl=true'
 
 cpmq() {
     res="$(cpm $@)"
-- 
cgit v1.2.3