couple of changes 😓

This commit is contained in:
Thomas Ruoff
2021-11-28 23:49:31 +01:00
parent 662fa3f5b1
commit c0af622d2b
8 changed files with 27 additions and 21 deletions

View File

@@ -1,6 +1,6 @@
#!/usr/bin/env bash
font="Fira Code:pixelsize=14"
font="PragmataPro Mono Liga:pixelsize=15"
function uniq_linebuffered() {
awk -W interactive '$0 != l { print ; l=$0 ; fflush(); }' "$@"