Как сделать символы xdotool Unicode
Я пытаюсь сделать ярлык для отправки, например, символа универсального квантора, ∀ (U + 2200). Собственная документация Xdotool на самом деле не объясняет это.
1
задан wjandrea
2 March 2015 в 08:14
поделиться