diff -ur a/share/panel.sh b/share/panel.sh --- a/share/panel.sh 2018-08-09 17:29:15.000000000 +0200 +++ b/share/panel.sh 2019-03-22 13:49:05.946256024 +0100 @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash quote() { local q="$(printf '%q ' "$@")"