In some cases the program Robo3t, the useful user interface for Mongo DB, it displays by default really small fonts that make it almost useless. In my case I fix it creating a bash script (in the robo3t root installation folder) that launch the following command. In this case I Read more…
If you are using a system with dual boot (windows + ubuntu) you can experience a painful bug. Ubuntu, and other unix system, uses a different way to display the time to the user. A quick fix could be install the service timesyncd that provide an internet sync with the Read more…
Useful command to clean all files content of a directory without removing it… Use cases: you have an application running and you don’t want to stop you don’t want to think about reset file permission that somebody else has configured in a bad way
Sometimes you need to move your develop from a branch to another; in this case the cherry pick command is your friend. Definition: given one or more existing commits, apply the change each one introduces, recording a new commit for each. This requires your working tree to be clean (no Read more…
Rsync, which stands for “remote sync”, is a remote and local file synchronization tool. It uses an algorithm that minimizes the amount of data copied by only moving the portions of files that have changed. Here an example
Common commands Here a list of the most common vim commands Change git default editor to vim Comment out with # from line 10 to line 110 Search
Clone existing repo Align remote changes Align remote changes inside local repo Merge a remote repo inside your local Create new branch Check status Create new branch Push new branch Commit changes List git branches that contain a given commit If you need to know which are the branches that Read more…