war: Frage zu xbindkeys, ist: wie rechnet man in der Bash?