diff options
Diffstat (limited to 'bin/setfont')
-rwxr-xr-x | bin/setfont | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/setfont b/bin/setfont index 50b4b78..d3e9f2a 100755 --- a/bin/setfont +++ b/bin/setfont @@ -1,3 +1,5 @@ -#!/bin/bash +#!/bin/sh +set -eu +set -o pipefail printf '\e]710;%s\007\e]711;%s\007' "$1" "$1" |