Hide OSX Dock faster

If the dock hides and shows to slow you can increase the speed with the following commands:

To let it directly jump without any kind of delay use the following:

$ defaults write com.apple.dock autohide-time-modifier -int 0;
$ killall Dock

If you want an animation but just a lot faster use the following:

$ defaults write com.apple.dock autohide-time-modifier -float 0.15;
$ killall Dock

To revert it to the default use this:

$ defaults delete com.apple.dock autohide-time-modifier;
$ killall Dock