Как изменить десятичный разделитель для моей локали?

Вы можете сделать это с помощью функции expect (install). Создайте и создайте исполняемый файл ~/bin/myprompt:

#!/usr/bin/expect -f

# Get a Bash shell
spawn -noecho bash

# Wait for a prompt
expect "$ "

# Type something
send "my text to be posted"

# Hand over control to the user
interact

exit

и запустите терминал Gnome с помощью:

gnome-terminal -e ~/bin/myprompt