blob: 20ea28802743b73a437e8a3694eae285a86c6ead (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/sh
# A simple dmenu script that grabs from a file, and inserts that character.
# File is located at: $ORGD_DATA_PATH, or $HOME/docs/wr/orgd/dt/chars.
if [ "$ORGD_DT_PATH" = "" ]; then
notify-send "ORGD_DT_PATH empty." "Using $HOME/docs/wr/orgd/dt as fallback."
file="$HOME/docs/wr/orgd/dt/chars"
else
file="$ORGD_DT_PATH/chars"
fi
char="$(grep -v '^#\|^[ \r\n]*$' $file | dmenu -l 25 | cut -d' ' -f1)"
notify-send "Inserted Character" "Inserted <i>$char</i>."
xdotool type --delay 0 "$char"
|
