Action | Key(s) |
---|---|
Compose | c |
Compose in a tab | d |
Search mail | / |
Back to threadlist | u |
Newer conversation | k |
Older conversation | j |
Select conversation | x |
Toggle star/Rotate among superstars | s |
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
#! /bin/bash | |
#set -v | |
#set -x | |
ARGS="$@" | |
#HB: SET VARS... | |
export HB_HOST="${HB_HOST:-127.0.0.1}" | |
export HB_PORT="${HB_PORT:-8888}" |
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
#!/bin/bash | |
export HILBERT_CFG="${HILBERT_CFG:-$@}" | |
export HILBERT_CFG="${HILBERT_CFG:-Hilbert.yml}" | |
export HILBERT_SERVER_CONFIG_PATH="${HILBERT_SERVER_CONFIG_PATH:-${HILBERT_CFG}}" | |
export HILBERT="${HILBERT:-../../tools/hilbert}" | |
export DUMP_BASE="$(basename $HILBERT_SERVER_CONFIG_PATH).dump" |
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
Host * | |
ForwardX11=no | |
StrictHostKeyChecking=no | |
BatchMode=yes | |
PasswordAuthentication=no | |
UserKnownHostsFile=/dev/null | |
LogLevel=quiet | |
ConnectionAttempts=3 | |
ConnectTimeout=10 | |
ControlMaster=no |
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> | |
<head> | |
<meta charset="utf-8"> | |
</head> | |
<body> | |
<h2>HB client in JS (with optional parameters):</h2> | |
<a href="hb_client.html"><h3>Default <tt>hb_client.html</tt> (WITHOUT parameters!)</h3></a> |
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
$ cat my.nemo.log | |
Singular Resources info: argv[0] : /home/malex/.julia/v0.5/Nemo/local/bin/Singular | |
SearchPath: /home/malex/.julia/v0.5/Nemo/local/bin/../share/singular/LIB:/home/malex/.julia/v0.5/Nemo/local/bin/../share/factory:/home/malex/.julia/v0.5/Nemo/local/bin/../libexec/singular/MOD:/home/malex/.julia/v0.4/Nemo/local/libexec/singular/MOD:/home/malex/.julia/v0.5/Nemo/local/bin | |
Singular : /home/malex/.julia/v0.5/Nemo/local/bin/Singular | |
BinDir : /home/malex/.julia/v0.5/Nemo/local/bin | |
ProcDir : /home/malex/.julia/v0.5/Nemo/local/bin/../libexec/singular/MOD:/home/malex/.julia/v0.4/Nemo/local/libexec/singular/MOD | |
RootDir : /home/malex/.julia/v0.5/Nemo/local/bin/.. | |
DataDir : /home/malex/.julia/v0.5/Nemo/local/bin/../share |
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/python | |
# import sched, time | |
from time import time | |
from time import sleep | |
from random import randint | |
from threading import Timer | |
from urllib2 import urlopen |
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
# git ID: ec4ef03f8e203a074fdf556f059bccff2aeecf53 | |
:~/.julia/v0.4/Nemo$ $HOME/J/julia -e 'Pkg.test("Nemo")' | |
INFO: Testing Nemo | |
Welcome to Nemo version 0.4.0 | |
Nemo comes with absolutely no warranty whatsoever | |
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
#### git id: e1a2049aabd3440127fe074f23b1f491440601cd | |
#### $HOME/J/julia -e 'Pkg.test("Nemo")' | |
INFO: Testing Nemo | |
Welcome to Nemo version 0.4.0 | |
Nemo comes with absolutely no warranty whatsoever | |
Singular unique rings & fields will use context-less implementation, right? true |
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/python | |
### Heartbeat: | |
### webgl: add to render loop (initiate) | |
### multithread / asynchron sending (should not block the application) | |
### non-blocking i/o | |
### how often: 1 beat per second (or less)? | |
### TCPIP connection: leave open? | |
### | |
### GET request |