C# Syntax Highlighting for HTML Pages

The following website can be used to generate html friendly representation of c# code


Remove a windows service using the command line

sc [ServerName] delete [ServiceName]


InnoDB Engine not available in MySQL

I had an empty standard installation of MySQL but somehow I could not create a database using the InnoDB engine. The engine was just not activated (you can check that with the



Revisioncontrol with Git

The most fundamental difference between Git and other revision control systems like SVN or CVS is the way how you work with it. With Git you will usually clone a repository. This creates a directory on your desktop where all the data about all revisions is stored. This means that you are not depending on a server somewhere. You can easily just use git locally.


Installation of Certificate into Trusted Root Certification Authorities store

If you visit a webpage with a self-signed certification you will usually see the following warning: There is a problem with this website's security certificate.

To avoid the messge you need to install the certificate into the Trusted Root Certification Authorities certificat store. This can be done very easily with executing the following command:

certmgr -add Certificate.cer -s -r localMachine root

The certmgr command line tool can be found in the Windows Driver Kit Version 7.1.0


MySQL Server 5.5 Logging on Windows 7

First you need to find out which settings file is active. Usually you can find it under C:\ProgramData\MySQL\MySQL Server 5.5\my.ini. Then you need to add the output configuration. Be careful to use the right syntax for the path. Below [mysqld] you can add something like:

general_log = 1 
general_log_file = "C:/mysql-queries.log"

After you restart the service your queries will be logged. If it doesn't work you can consult the Errorfile (C:\ProgramData\MySQL\MySQL Server 5.5\data\computername.err)



Git - No change if only filemode changed

Sometimes git gui displays a lot of files like this:

old mode 100644
new mode 100755

They only differ in their permissions and usually we don't really care.


Just execute the following command in the root directory of the repository:

git config core.filemode false


Subscribe to RSS - Misc