Author Archives: darksider15

Gitolite – Delete wild repositories

Wild repositories in gitolite are a very convenient way of managing lots of small repositories with the same permissions. Users with the C permission can easily create a repository by cloning one that matches the defined repository-regex. To delete a wild repository multiple steps are required (details below): Per server: Activate the gitolite command D […]

Reverse-SSH-Tunnel: How to access a computer which has no static IP

In practice I regularly discovered situations where it would be advantageous to be able to access a locale computer which neither has a static IP nor configured DDNS. In general I see 3 possible solutions. Buy a static IP for that PC (cost money) Use DDNS (access to the router is serviceable) Use a reverse-ssh-tunnel […]

Odroid XU4: Fix kodi/xbmc freezes (fixed in newer versions)

At the beginning of this year I bought my new odroid XU4 with a preinstalled ubuntu 15.04 and was eager to set it up as multimedia station for my TV. Using the shipped kodi/xbmc which has hardware acceleration I’m able to watch the videos of choice on my TV which is connected by HDMI. Unfortunately […]

Recover file extensions for multiple files (Linux)

When recovering files I sometimes face the problem of lost file names and file extensions (most recent case here). To help me dealing with this I problem I need a way to automatically add the file extension, which facilitates the process of reorganising the recovered files. I based my idea on Drav Sloans SO answer […]

How To Write Desktop Files (Linux)

Desktop-files are part of a standard by for defining the behaviour of applications running on Xorg (an X-server implementation). In an GNOME or KDE environment most applications conveniently include a desktop-file. I mostly write desktop files for GUI applications not coming with one and as a way to connect GUI-users with shell scripts. For […]

Check SSH-KEY Fingerprint

In theory the SSH-key fingerprint should be checked at the first communication with each machine. In practice it seems like many SSH-users didn’t even know how to to verify that they are connected with the correct machine (man-in-the-middle attack). When to check fingerprints When connecting to a server for the first time SSH shows you […]

Git Undo Reset Hard: Recover Staged Files Which Got Deleted By Git Reset –Hard (Linux)

Did you ever delete hours of progress by carelessly using git reset –hard? I did, so I spent the next hours searching for a way to restore my hard work which I will share with you here. This solution only works for files which got staged before the reset (e.g. by git add *) and […]