precedence ::ffff:0:0/96 100at the end of /etc/gai.conf to give high priority to A records. The filters can also be more specific and made to apply only to specific addresses or subnets. It doesn't seem to be able to change on a per-process basis with this approach (and of course it requires you to have root privileges to modify /etc/gai.conf).
Thanks to Lmwangi at http://unix.stackexchange.com/questions/9940/convince-apt-get-not-to-use-ipv6-method
# Partial Evaluation
# http://morepypy.blogspot.com/2012/01/comparing-partial-evaluation-and.html
blocks = {
"power": ("op1", "res", "same", ("const", 1),
("if", "y", "power_rec", "power_done")),
"power_rec": ("op2", "res", "mul", ("var", "res"), ("var", "x"),
("op2", "y", "sub", ("var", "y"), ("const", 1),
("if", "y", "power_rec", "power_done"))),
"power_done": ("print_and_stop", ("var","res"))
}
def resolve(x, env):
if x[0] == "const": return x[1]
elif x[0] == "var": return env[x[1]]
def interp(block, env):
while block:
if block[0] == "op1":
_, var, op, arg, next = block
env[var] = do_op(op, env, resolve(arg, env))
elif block[0] == "op2":
_, var, op, arg1, arg2, next = block
a1 = resolve(arg1, env)
a2 = resolve(arg2, env)
env[var] = do_op(op, env, a1, a2)
elif block[0] == "jump":
next = blocks[block[1]]
elif block[0] == "print_and_stop":
next = None
print resolve(block[1], env)
elif block[0] == "if":
_, var, tbranch, fbranch = block
if env[var]:
next = blocks[tbranch]
else:
next = blocks[fbranch]
block = next
def do_op(op, env, *arg):
if op == "same":
return arg[0]
elif op == "mul":
return arg[0] * arg[1]
elif op == "sub":
return arg[0] - arg[1]
# run the interpreter
interp(blocks["power"], dict(x=5, y=3))
######################################################################
def plookup(key, env):
return ("const", env[key]) if key in env else ("var", key)
def presolve((tag, val), env):
return ("const", val) if tag == "const" else plookup(val, env)
def pe(block,env):
if block[0] == "op1":
_, var, op, arg, next = block
(tag, val) = presolve(arg, env)
if tag == "const":
env[var] = do_op(op, env, val)
return pe(next, env)
else:
del env[var]
newnext = pe(next, env)
return ("op1", var, op, (tag, val), newnext)
elif block[0] == "op2":
_, var, op, arg1, arg2, next = block
(tag1, val1) = presolve(arg1, env)
(tag2, val2) = presolve(arg2, env)
if tag1 == "const" and tag2 == "const":
env[var] = do_op(op, env, val1, val2)
return pe(next, env)
else:
if var in env: del env[var]
newnext = pe(next, env)
return ("op2", var, op, (tag1, val1), (tag2, val2), newnext)
elif block[0] == "jump":
return ("jump", do_pe(block[1], env))
elif block[0] == "print_and_stop":
return ("print_and_stop", presolve(block[1],env))
elif block[0] == "if":
_, var, tbranch, fbranch = block
(tag, val) = plookup(var, env)
if tag == "const":
b = do_pe(tbranch if val else fbranch, env)
return ("jump", b)
else:
tb = do_pe(tbranch, env)
fb = do_pe(fbranch, env)
return ("if", (tag, val), tb, fb)
code_cache = []
def do_pe(label, env):
for k, newlabel in code_cache:
if k == (label, env):
return newlabel
newlabel ="%s_%d" % (label, len(code_cache))
code_cache.append( ((label,env.copy()), newlabel) )
blocks[newlabel] = pe(blocks[label], env)
return newlabel
# generate a new specialized program
pe_label = do_pe("power", dict(y=5))
# run the specialized program
interp(blocks[pe_label], dict(x=5))
Adapted from http://blog.agdunn.net/?p=277
pacman -S git-core setuptools
useradd --home-dir=/media/STORAGE/git --create-home --system git
su -l git
git clone git://eagain.net/gitosis.git
cd ~/gitosis
patch gitosis/ssh.py <<EOF
37c37
< TEMPLATE=('command="gitosis-serve %(user)s",no-port-forwarding,'
---
> TEMPLATE=('command=".local/bin/gitosis-serve %(user)s",no-port-forwarding,'
EOF
patch gitosis/templates/admin/hooks/post-update <<EOF
3c3
< gitosis-run-hook post-update
---
> ~/.local/bin/gitosis-run-hook post-update
EOF
git commit -a -m 'Adapt Gitosis for being installed with python setup.py install --user' --author 'Lars Rasmusson <Lars.Rasmusson@gmail.com>'
python2.7 setup.py install --user
~/.local/bin/gitosis-init
[ paste your public ssh key and press CTRL-D ]
chmod u+x ~/repositories/gitosis-admin.git/hooks/post-update
Now you can clone the repository gitosis-admin.git from the server using
git clone git@servername:gitosis-admin.gitTo add a user with pubkey file username.pub
cp username.pub gitosis-admin/keydir/
(cd gitosis-admin; git commit keydir -m 'added user'; git push)
To give the user access to a repository, add him to a group
(or create a new group for him), and add the repository name
to the ‘writable’ list for that group in gitosis-admin/gitosis.conf
# Lars.Rasmusson@gmail.com 2011-12-18
class sudoku(dict):
def __init__(self,game):
game = [g for g in game if g in ".123456789"]
for r in range(1,10):
for c in range(1,10):
self[(r,c)] = set(range(1,10)) if game[0] == '.' \
else set([int(game[0])])
game = game[1:]
def row(self, r): return [(r,c) for c in range(1,10)]
def col(self, c): return [(r,c) for r in range(1,10)]
def field(self, f):
fs = []
for x in range(1,10):
r = (x - 1) // 3 + 3 * ((f - 1) // 3) + 1
c = (x - 1) % 3 + 3 * ((f - 1) % 3) + 1
fs.append((r,c))
return fs
def different(self, vars, n):
from itertools import combinations
modified = False
for vs in combinations(vars, n):
u = set().union(*[self[x] for x in vs])
o = set().union(*[self[x] for x in vars if not x in vs])
if len(u) == n and o.intersection(u) != set():
for v in set(vars)-set(vs):
if self[v].intersection(u):
self[v] -= u
modified = True
return modified
def solve(self):
n = 1
while n < 9:
mod = False
for i in range(1,10):
mod |= self.different(self.row(i),n)
mod |= self.different(self.col(i),n)
mod |= self.different(self.field(i),n)
n = 1 if mod else n + 1
def write(self):
for r in range(1,10):
for c in range(1,10):
v = self[(r,c)]
print '.' if len(v) > 1 else list(v)[0],
print
def backtrack(self):
from copy import deepcopy
self.solve()
choices = [len(self[var]) for var in self]
if min(choices) < 1: return None
if max(choices) == 1: return self
var = [var for var in self if len(self[var]) > 1][0]
for val in self[var]:
s = deepcopy(self)
s[var] = set([val])
s = s.backtrack()
if s != None: return s
return None
def check(self):
for i in range(1,10):
s1 = set().union(*[self[v] for v in self.row(i)])
s2 = set().union(*[self[v] for v in self.col(i)])
s3 = set().union(*[self[v] for v in self.field(i)])
if not s1 == s2 == s3 == set(range(1,10)):
return False
return True
games = ["""
798 ... 2..
... 69. .73
.6. 27. 1..
6.. 94. .81
4.5 .61 .2.
9.2 8.. .3.
2.7 ... 4..
1.. 4.3 76.
..6 .19 .5.
"""
,
"""
... .4. ...
..5 ... .46
..7 ... ..5
.5. 3.. 2..
23. ... 97.
7.. 8.. ...
.9. .8. 3..
... .24 ...
12. .3. .8.
"""
,
"""
5.. 17. .39
..7 9.. ...
.1. ... 4..
... 8.2 7..
3.8 ... 6.2
..5 4.6 ...
..2 ... .5.
... ..5 9..
15. .29 ..7
"""
,
"""
.2. ..6 ..3
.7. 95. ...
..8 ... ...
..5 ... ...
... 248 .1.
.6. ..3 ..2
39. ... ...
... 1.. 79.
... ... 1..
"""
,
"""
... 76. .5.
..2 ... .9.
... .5. 7..
..4 ..1 ...
.3. ..8 57.
... 2.. 6..
42. .3. ...
7.. 8.. ...
... ... ..1
"""
,
"""
.6. .4. ...
8.. ... ..9
..7 ... 15.
... ..8 ...
..3 .9. 7.4
... ... .6.
.1. 6.. ..3
9.. 1.. 8..
62. ..5 ...
"""
,
"""
5.1 ..8 ...
... .4. .3.
... ... 15.
.6. 49. ...
... 6.. 9.7
..3 1.. ...
... ... .42
.4. 8.7 ...
.27 ... .6.
"""
,
"""
. . 2 | 4 . . | . 8 9
. 4 . | . . 8 | 2 7 .
. . . | . . 6 | . . 4
------|-------|------
. 7 . | 9 . . | . . .
. . . | . . . | . . .
3 . 8 | 5 . . | . . .
------|-------|------
. 9 7 | 3 . 1 | . 6 5
. 8 . | 7 2 . | . . .
4 . . | . . . | . . 8
""",
"""
. 4 3 | 9 8 . | 2 5 .
6 . . | 4 2 5 | . . .
2 . . | . . 1 | . 9 4
------|--------|------
9 . . | . . 4 | . 7 .
3 . . | 6 . 8 | . . .
4 1 . | 2 . 9 | . . 3
------|--------|------
8 2 . | 5 . . | . . .
. . . | . 4 . | . . 5
5 3 4 | 8 9 . | 7 1 .
"""
,
"""
1..4....8
...89.5..
.2...5...
..8....37
.9..5..2.
36....1..
...1...7.
..6.48...
9....3..4
"""
,
"""
.6. .4. ...
8.. ... ..9
..7 ... 15.
... ..8 ...
..3 .9. 7.4
... ... .6.
.1. 6.. ..3
9.. 1.. 8..
62. ..5 ...
"""
]
if __name__ == "__main__":
for game in games:
s = sudoku(game)
s.write()
# s.solve()
s = s.backtrack()
if s:
if s.check():
s.write()
else:
print "FAILED CHECK!"
else:
print None
print