This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Kanna 鉋 (plane) | |
---------------- | |
Hira-Kanna 平鉋 (common/flat plane) | |
Naga-Dai-Kanna 長台鉋 (jack plane) | |
Tachi-Ba-Kanna 立鉋 (standing plane) | |
Sori-Dai-Kanna 反り台鉋 (compass plane) | |
Kiwa-Kanna 際鉋 (corner cutting plane) | |
Wakitori-Kanna 脇取り鉋 (side-shaving plane) | |
Hifukura-Kanna 比不倉鉋 (pointed side-shaving plane) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
""" | |
Suspend the system from cron on a specified time, and wake-up the | |
system at another specified time. This script allows the user to | |
interrupt the shutdown by showing a GTK dialog. | |
COPYRIGHT AND LICENSE | |
===================== |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var form = document.querySelector('form'); | |
form.addEventListener('submit', function(event) { | |
event.preventDefault(); | |
submitForm(); | |
} | |
function submitForm(form) { | |
var data = serializeForm(form); | |
var json = JSON.stringify(data); | |
var xhr = requestPost(url, json); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html lang="en"> | |
<head> | |
<meta charset="UTF-8"> | |
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
<title>Document</title> | |
<style> | |
#map { height: 500px; } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import os | |
import sys | |
import shutil | |
import argparse | |
import getpass | |
import datetime | |
import subprocess | |
PSQL_BIN = "/usr/bin/psql" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{- | |
Use like this: | |
runResourceT $ S.print $ (parsed myparser (decodeByteString decodeUtf8Pure (Q.readFile "my-utf8-encoded.txt"))) | |
-} | |
module Data.Attoparsec.Text.Streaming | |
( parsed | |
, decodeByteString |