Skip to content

Instantly share code, notes, and snippets.

Avatar
💭
Not even trying to work...

Kos Ivantsov kosivantsov

💭
Not even trying to work...
View GitHub Profile
@kosivantsov
kosivantsov / playerctrl
Created Nov 3, 2018
Linux bash script to control MOC or any MPRIS-enabled player. The script should be placed somewhere in the $PATH (~/bin; /usr/local/bin etc), and a few keyboard shortcuts added in your WM or via xbindkeys (if used). See help for available actions. If several players are running at the same time, MOC is always given priority, and then the MPRIS p…
View playerctrl
#!/bin/bash
case $1 in
"help"|"-h"|"?"|"-?")
echo -e "Usage:
$(basename $0) help
show this help
$(basename $0) up
volume up by 5%
$(basename $0) down
View activate_source_text.groovy
/* :name=Activate source text :description=Activate source text on the Editor with keyboard shortcut
*
* The workaround by script for RFE #821:
* Showing cursor on the original segment
* http://sourceforge.net/p/omegat/feature-requests/821/
*
* @author Yu Tang
* @author Kos Ivantsov
* @date 2019-10-25
* @version 1.1.3
You can’t perform that action at this time.