Manually starting ssh-agent to use it in a (remote) terminal session

Posted on Thu 22 June 2017 in misc • Tagged with linux, ssh

ssh-agent can be used to unlock an ssh private key and therefore prevent having to enter the password multiple times. Usually your desktop environment does this for you. But if you're for example sshing into your workstation and then use ssh (e.g. for git or hg) your desktop environment …


Continue reading

Python networkx (graph library) example

Posted on Tue 06 June 2017 in misc • Tagged with python, algorithms, graph

This is just for me to look it up again later:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39 …

Continue reading

Music for working / learning (updated)

Posted on Sat 27 May 2017 in misc • Tagged with music

Some nice music on youtube and soundcloud:


Continue reading

Hello

Posted on Thu 17 July 2014 in misc

Welcome to the new website. I've created the new page mainly as an excuse for not learning during the current exam preparations... So you should not expect any updates soon. There'll hopefully be some updated stuff here after the exam session in august. Have a nice summer and come back …


Continue reading