Kade Heyborne
73a15d03cd
- Fix state detection priority: dictation now takes precedence over conversation - Fix critical bug: event loop was created but never started, preventing async coroutines from executing - Optimize audio processing: reorder AcceptWaveform/PartialResult checks - Switch to faster Vosk model: vosk-model-en-us-0.22-lgraph for 2-3x speed improvement - Reduce block size from 8000 to 4000 for lower latency - Add filtering to remove spurious 'the', 'a', 'an' words from start/end of transcriptions - Update toggle-dictation.sh to properly clean up conversation lock file - Improve batch audio processing for better responsiveness
25 lines
1.3 KiB
Bash
Executable File
25 lines
1.3 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# Manual Keybinding Setup for GNOME
|
|
# This script sets up the keybinding using the proper GNOME schema format
|
|
|
|
TOGGLE_SCRIPT="/mnt/storage/Development/dictation-service/toggle-dictation.sh"
|
|
|
|
echo "Setting up dictation service keybinding manually..."
|
|
|
|
# Create a custom keybinding using gsettings with proper path
|
|
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "Toggle Dictation"
|
|
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "$TOGGLE_SCRIPT"
|
|
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "<Alt>d"
|
|
|
|
# Add to the list of custom keybindings
|
|
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"
|
|
|
|
echo "Keybinding setup complete!"
|
|
echo "Press Alt+D to toggle dictation service"
|
|
echo ""
|
|
echo "To verify the keybinding:"
|
|
echo "gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings"
|
|
echo ""
|
|
echo "To remove this keybinding:"
|
|
echo "gsettings reset org.gnome.settings-daemon.plugins.media-keys custom-keybindings" |