Blue Desk
Rodrigo’s blog.
Showing posts with label
Linux
.
Show all posts
Showing posts with label
Linux
.
Show all posts
Tuesday, February 27, 2024
Linux recursive file searching
›
Searching recursively all files with the given extension: find . -name "*.orig" Searching all files containing the given text ...
Tuesday, January 9, 2024
Increase taskbar button width in Linux Mint 21
›
For my working VM, after ditching the sluggish Ubuntu 22 for the crazy good Mint Cinnamon 21 , one of the customizations I wanted to make wa...
Saturday, January 6, 2024
Installing dependencies of deb packages
›
A deb package can be installed on Linux by running: sudo dpkg -i Package.deb However, the installation may fail because dependencies are...
Thursday, March 25, 2021
Displaying current Git branch in Bash prompt
›
I decided to show the current Git branch at my bash prompt whenever I’m at a directory which contains a repository. I found a rather convolu...
Friday, December 11, 2020
Cleaning up a Git repository
›
Sometimes, after you mess up too much with your Git repository, it ends up with a couple useless objects, which are no longer referenced any...
Friday, July 7, 2017
Git amend updating date and time
›
When commiting code on Git, very often I realize I forgot some little detail right after I end the commit operation. This is very annoying. ...
›
Home
View web version