web-dev-qa-db-fra.com

Comment créer des caractères Unicode de type xdotool

J'essaie de créer un raccourci pour envoyer, par exemple, le symbole du quantificateur universel, (U + 2200). Xdotool's sa propre documentation n'explique pas vraiment cela.

4
wjandrea

Pour le symbole ci-dessus, il y a deux options:

  1. Xdotool génère le caractère et le tape:

    xdotool key U2200
    
  2. Le shell (Bash) génère le caractère et Xdotool le tape:

    xdotool type $'\u2200'
    
6
wjandrea