GitHub Migration

GitHub is a great collaborative development platform for Open Source. My projects were currently only published in source zip files, and my SVN repository was private. Having played a while with GitHub, this is now a must have if you want some contributions. So I decided to publish my projects to GitHub.

But I had some exigences :

  • Keep separate a ‘private’ repository and the GitHub public one : I use a repository to sync files between my Linux and Windows development environments with a lot of technical commits
  • Have history commits (but cleaned of those technical commits and rubbish comments)

As I use SVN for my private repository, it is very easy to distinguish from git commits. And both tools perfectly works alongside each other.

To migrate contents, I wrote two scripts, inspired by this article about GIT commits in the past : (more…)

Read more about the article Recover from disk accident crash
geralt / Pixabay

Recover from disk accident crash

I had this very bad habit of testing speed of my disks with dd, very simply :

But with some lack of sleep, I accidentaly replaced the wrong argument and wrote to my disk, by putting my disk in ‘of’ instead of ‘if’ argument. My disks are in RAID5 to have redundancy and allow one failure. If it was a physical disk, that would be OK, just have to resync the array. But this would have been too easy, and the mistake was done with the array disk, unrecoverable. And with the first giga of the disk, it aims critical data…The repair was quite difficult, it took me one day to minimally recover and the service to be back again (step 1), but siw months to fully recover (step 2). As it could be useful, below are main parts. (more…)


VSFolderMove : Move your Visual Studio persnnal folder

Visual Studio creates your personal folder in %userdata%/Documents which is surprising and anoying when you want to keep the Documents for documents… You may think that as a professionnal developer tool, there will be a simple setting for the personal folder, but you are wrong, and it is a real pain to change this folder.

Different possibilities are shown on internet forums :

  • give up
  • change registry settings (a lot)
  • use a ntfs junction to move files (do not solve the pollution in documents, but files will be in right place)

I choose the registry one, and decided to provide a small tool to help with : VSFolderMove (more…)


PDF Build

It is a simple script to create a pdf from a tree of images.
An outline will be produced, according to the tree, with :

  • for a folder : the name of the folder
  • for a file : the first found of : ImageDescription Exif tag, JPEG comment, filename (without extension)

In a folder, the files are alphabetically sorted and folders are processed first.
For items provided on the command line, no sort is applied, you must sort yourself according your wish. (more…)

Read more about the article DynDns Autologin
stux / Pixabay

DynDns Autologin has been for years a great DynDns service, offering for free this useful service. But this has changed some years ago, when started to push its commercial offer. Now, forces free users to log in once in a month, otherwise the account and its services is simply deleted. It seems to me absolutely inacceptable and as their paid service is much more expansive that fixed domains or other dyndns services, I decided to change. But to facilitate transition, I want to keep my account alive. I found a great script on It was originally designed for Google App Engine, below is a standalone version. (more…)


GtkDateTime Widget

GtkDateTime is a very simple widget to edit timestamps in GTK. See source files below. Source gtk_datetime.h [crayon-61092ae2ca555816195916/] gtk_datetime.c [crayon-61092ae2ca558767134820/] test_datetime.c [crayon-61092ae2ca55a083011562/]

Read more about the article Create a shared / roaming profile in Linux
geralt / Pixabay

Create a shared / roaming profile in Linux

Sharing a profile between several Linux hosts is not an easy task for the moment. You will be tempted to share exactly the same profile folder, but this will cause some problems with local settings. The easiest solution is to create a .roaming folder in which you will put all the files you want to share, and share it between all hosts. Then you will create symbolic links to this .roaming folder.

Here is a script to create all the links for you. (more…)