Skip to content

Instantly share code, notes, and snippets.

Marc Vertes mvertes

Block or report user

Report or block mvertes

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View keybase.md

Keybase proof

I hereby claim:

  • I am mvertes on github.
  • I am mvertes (https://keybase.io/mvertes) on keybase.
  • I have a public key ASAaTluDdADHrbTdIPz52Q4UUNMRwWMtNKzUENm3SG5AlQo

To claim this, I am signing this object:

@mvertes
mvertes / sandbox.js
Created May 13, 2016
co-process for ijavascript jupyter kernel
View sandbox.js
#!/usr/bin/env node
const vm = require('vm');
const done = function (result) {
process.send({mime: {"text/plain": "undefined"}});
}
// initialize VM context
vm.runInThisContext('(function (_require, _done) {require = _require; co = require("co"); $$done$$ = _done; })')(require, done);
@mvertes
mvertes / backup.sh
Created Mar 18, 2014
Small and simple incremental backup tool using rsync(1)
View backup.sh
#!/bin/sh
# incremental backup using rsync(1)
die() { echo "$0: fatal: $@" >&2; exit 1; }
[ "$(id -u)" = 0 ] || die must run as root
dest=${1:-bip.local:/home/backup}/$(hostname)
date=$(date +%Y%m%d_%H%M%S)
last=$(rsync --list-only $dest/ 2>/dev/null | cut -b 47- | tail -1)
case $last in
@mvertes
mvertes / graphviz-2.34.0-dotty-patch
Created Dec 12, 2013
This patch fixes a bug where dotty does not display label in nodes. This fix is already present upstream.
View graphviz-2.34.0-dotty-patch
diff -rNpau graphviz-2.34.0/cmd/dotty/dotty_layout.lefty graphviz-2.34.0-mv1/cmd/dotty/dotty_layout.lefty
--- graphviz-2.34.0/cmd/dotty/dotty_layout.lefty 2013-09-07 03:07:52.000000000 +0200
+++ graphviz-2.34.0-mv1/cmd/dotty/dotty_layout.lefty 2013-12-12 15:44:12.466948990 +0100
@@ -5,7 +5,7 @@ dotty.grablserver = function (lserver) {
local fd;
if (~dotty.lservers[lserver] | tablesize (dotty.lservers[lserver]) == 0) {
- if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot')) >= 0)) {
+ if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot1.2')) >= 0)) {
dotty.message (0, concat ('cannot start ', lserver));
You can’t perform that action at this time.