Как сделать символы Unicode типа xdotool

Question

Как сделать символы Unicode типа xdotool

Я пытаюсь создать ярлык для отправки, например, символа универсального квантификатора ∀ (U+2200). Собственная документация Xdotool действительно не объясняет этого.

10

unicode xdotool

Источник

wjandrea 02 мар '15 в 04:14

2 ответа

Решение

В итоге я сделал следующее:

      echo -n "${TEXT}"|xsel -b

xdotool key ctrl+v

Это заполняет буфер мыши, а затем вставляет его.

0

Источник

Rich Graham 30 ноя '22 в 08:58

Другие вопросы по тегам unicode xdotool

wjandrea 02 мар '15 в 04:14 2015-03-02 04:14 · Accepted Answer · 2015-03-02 04:14

Для вышеуказанного символа есть два варианта:

Xdotool генерирует символ и печатает его:
```
xdotool key U2200
```
Оболочка (Bash) генерирует символ, а Xdotool вводит его:
```
xdotool type $'\u2200'
```