evanwill

How to add more to Git Bash on Windows

Git for Windows comes bundled with the "Git Bash" terminal which is incredibly handy for unix-like commands on a windows machine. It is missing a few standard linux utilities, but it is easy to add ones that have a windows binary available.

The basic idea is that C:\Program Files\Git\mingw64\ is your / directory according to Git Bash (note: depending on how you installed it, the directory might be different. from the start menu, right click on the Git Bash icon and open file location. It might be something like C:\Users\name\AppData\Local\Programs\Git, the mingw64 in this directory is your root. Find it by using pwd -W). If you go to that directory, you will find the typical linux root folder structure (bin, etc, lib and so on).

If you are missing a utility, such as wget, track down a binary for windows and copy the files to the corresponding directories. Sometimes the windows binary have funny prefixes, so

eatonphil

(*
 * Tested on PolyML. `polyc server.ml && ./a.out`
 *)

fun println s =
    (print (s ^ "\n"); TextIO.flushOut TextIO.stdOut)

fun readAll conn req =
    let val ntoread = Socket.Ctl.getNREAD conn in
    if ntoread > 0

robotslave

<!--
1. Download the Android Jelly Bean fonts and the Symbola font:
   https://www.dropbox.com/s/tvtzcnzkvbe0nrt/jelly-bean-fonts.zip
   http://users.teilar.gr/~g1951d/Symbola707.zip

2. unzip the files and put AndroidEmoji.ttf and Symbola.ttf (and any of the other fonts that strike your fancy)
   in your ~/.fonts/ directory

3. run `fc-cache -f`.  You can check to make sure the new fonts 
   were installed with `fc-list`.  You'll probably want to grep the copious output for Symbola or Emoji

zmalltalker

Thinkpad fan control

My Thinkpad T400s kept shutting down when it was busy doing CPU intensive work. It turns out that the fan did not speed up to a high enough level to cool down the CPU, and I’d find messages in /var/log/messages stating that the CPU was dangerously hot.

Load the thinkpad_acpi module with manual fan control enabled

The first thing I did was to make it possible to manually control the fan speed. In order for this to work, the thinkpad_acpi kernel module needs to be loaded with a specific parameter. This can be