jrwarwick

# GNU Screen - main configuration file
# All other .screenrc files should source this file to inherit settings.
# Author: Christian Wills - [email protected], minor mods [email protected]

# Allow bold colors - necessary for some reason
attrcolor b ".I"

# Tell screen how to set colors. AB = background, AF=foreground
termcapinfo xterm 'Co#256:AB=\E[48;5;%dm:AF=\E[38;5;%dm'

jrwarwick

Extract Minecraft music (Windows-centric easy-cheezy edition)

As of 1.8, assets are stored by hash, which makes it fiddly to listen to Minecraft's amazing ambient soundtrack outside the game.

This script can be used to copy music files to appopriately-named and organised .ogg files for easier listening.

0. If you happen to have PowerShell 3.0, you might be able to just save and execute extract_mc_music.ps1 and then skip to step 5

1. Install Node.js. Actually, you don't even have to "install". You can just download the stand-alone zip archived version, extract it, and start a CMD shell in the subdirectory with node.exe in it.

2. Save extract_mc_music.js to your freshly extracted node directory.

jrwarwick

#! /usr/bin/env python
#pip install websocket-client
#python mycroft_ws_test.py localhost recognizer_loop:utterance '{"utterances": ["what time is it"]}'
import sys
from websocket import create_connection
uri = 'ws://' + sys.argv[1] + ':8181/core'
ws = create_connection(uri)
print("Sending " + sys.argv[2] + " to " + uri + "...")
if len(sys.argv) >= 4:
    data = sys.argv[3]