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 | |
#Script for building and testing spielwiese | |
# | |
# NOTE: a bit out of date :( | |
# | |
# TODO: try to use "make distcheck" | |
# TODO: make sw.sh - available via wget, e.g. | |
# wget "http://git.berlios.de/cgi-bin/cgit.cgi/singular/plain/sw.sh?h=scripts" -O sw.sh -a /dev/null |
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 |
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
/* Taken almost verbatim from some GIMP tutorial */ | |
#include <gtk/gtk.h> | |
int main( int argc, char *argv[] ) | |
{ | |
GtkWidget *window, *image; | |
if(argc > 1 && argv[1] != NU |
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
# 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
$ 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
<!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
Host * | |
ForwardX11=no | |
StrictHostKeyChecking=no | |
BatchMode=yes | |
PasswordAuthentication=no | |
UserKnownHostsFile=/dev/null | |
LogLevel=quiet | |
ConnectionAttempts=3 | |
ConnectTimeout=10 | |
ControlMaster=no |
OlderNewer