Skip to content

Instantly share code, notes, and snippets.

💭
Not even trying to work...

Kos Ivantsov kosivantsov

💭
Not even trying to work...
Block or report user

Report or block kosivantsov

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
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
@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
You can’t perform that action at this time.