fejfar

import os, hashlib, urllib2, optparse

def get_remote_md5_sum(url, max_file_size=100*1024*1024):
    remote = urllib2.urlopen(url)
    hash = hashlib.md5()

    total_read = 0
    while True:
        data = remote.read(4096)
        total_read += 4096

fejfar

[
  { "keys": ["f12"], "command": "htmlprettify"},
  { "keys": ["f1"], "command": "fold" },
  { "keys": ["f2"], "command": "unfold" },
  { "keys": ["ctrl+l"], "command": "show_overlay", "args": {"overlay": "goto", "text": "@"} },
  
  { "keys": ["ctrl+space"], "command": "auto_complete" },
  { "keys": ["ctrl+space"], "command": "replace_completion_with_auto_complete", "context":
    [
      { "key": "last_command", "operator": "equal", "operand": "insert_best_completion" },

fejfar

#!/bin/bash

MCLAUNCHER="path/to/MinecraftLauncher.jar"

# Your SSH host, e.g. www.example.com
SSHHOST="<your-ssh-host>"

# Stores the controlmaster file. Need to enable controlpath in the ssh .config file
SOCKCTL="~/.mc-ssh-ctl"