This post is for people who are no longer satisfied with Dropbox and want to migrate their data to an alternative cloud storage service. I’ll demonstrate how to configure Dropbox to synchronize the files down to a local drive. The post is based on windows 10 and on dropbox-client (115.4.601) as of February,9th 2021, the… Read more How to get rid of Dropbox
Since github.com is about to disallow basic authentication using login and password over http/https connections, you should switch to connect via ssh providing a public ssh-key together with a passphrase. In this post I describe the steps necessary when using git for windows, however the steps are probably more or less identical if you’re running… Read more Switch Github Repository from https to ssh
If at work you “have” to work with windows clients and are using linux shell-like tools like git, you probably know this problem: You want to open a shell from the Windows File Explorer, then do some actions, change directories and then again open a Windows File Explorer from the shell at your current location.… Read more Open Windows Explorer from shell and vice-versa
There are different types of graph notations. Here I’d like to present a nice and compact way in the form of a Vertex Lists and Edge Lists, which I came across during my studies at the MSE in Zurich. [Note: All graph images shown in this post have been taken from graphical representations of graphs… Read more Graph Notation
Let’s just quickly print out the PDF and go to bed. That was my initial plan. However, the task turned out to be significantly more difficult. I started the printing job and did some other stuff, until the job was done. Times where one had to sit next to the 9-needle printer connected to one’s… Read more How to deal with black printing PDFs?