This is the table from man 5 terminfo
.
Do NOT hardcode terminal escape sequences. Use tput with the cap-names from the table below to get the right code for your terminal.
indicates that padding may be specified(P) |
This is the table from man 5 terminfo
.
Do NOT hardcode terminal escape sequences. Use tput with the cap-names from the table below to get the right code for your terminal.
indicates that padding may be specified(P) |
#!/usr/bin/env bash | |
progname=$(basename $0) | |
version="1.0 (2014-08-17)" | |
step=2 | |
function create_hash { | |
openssl dgst -sha1 -binary <<< "$1" | xxd -p | |
} |
The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.
The correct way of creating a private frok by duplicating the repo is documented here.
For this assignment the commands are:
git clone --bare git@github.com:usi-systems/easytrace.git
git init
git add .
git commit -m "Initial commit"
git remote add origin git@github.com:<USERNAME>/<REPO_NAME>.git
git push -u origin master
function closest (element, selector) { | |
while (element && element.nodeType !== DOCUMENT_NODE_TYPE) { | |
if (element.matches(selector)) return element; | |
element = element.parentNode; | |
} | |
} |
#!/bin/sh | |
basename=`basename $0` | |
if [ -z "$*" ]; then | |
echo "usage: ${basename} <dot> [ -o | -r | <file> | - ]" | |
echo "" | |
echo "options:" | |
echo " -o open dot in window with keyboard focus" | |
echo " -r read contents of dot" |
function inject(src, callback) { | |
if (typeof callback != 'function') callback = function() { }; | |
var el; | |
if (typeof src != 'function' && /\.css[^\.]*$/.test(src)) { | |
el = document.createElement('link'); | |
el.type = 'text/css'; | |
el.rel = 'stylesheet'; | |
el.href = src; |
http://invisible-island.net/xterm/ | |
XTerm Control Sequences | |
Edward Moy | |
University of California, Berkeley | |
Revised by |
(function bookmarksExportToCsv() { | |
/** | |
* 1. Export bookmarks from browser (supported any Chromium based browsers and Safari) (chrome://bookmarks) | |
* 2. Open exported html file again in the browser | |
* 3. Copy paste this entire file in console, and execute it (hit enter) | |
* 4. You will be prompted to save a CSV file. Save it. | |
* 5. Open Notion. Click Import -> CSV | |
* 6. Select saved CSV file. Wait for import | |
* 7. You have a new database with all your bookmarks | |
*/ |