Skip to main content

Delete a remote branch with git

To delete a remote branch, you can’t use the git branch command. Instead, use the git push command with --delete flag, followed by the name of the branch you want to delete.

History search

Easy way to repeat often used commands on the linux console ... add history search backwards to .inputrc in your home directory:

cd ~

vim .inputrc

Install and use latest nodejs

sudo apt purge nodejs npm

curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.33.8/install.sh | bash

exit

Open new terminal

Ubuntu - Check diskspace

df shows you the percentage per volume which is in use - but to clean up your diskspace it's much more practical to see the directories which are filled with 'tons' of filegarbage ...

DNG Conversion with Wine

Install Wine with Linux Package Manager and Download Adobe DNG Converter for Windows.

Install it with Wine:

Relaunch CF T.E.A.M

Working with friends, working with a good team, working with multiple editors, working for a good cause ... the latest website relaunch was a nice work to do.

Subscribe to