Select Page

Git Tips: Default the main branch

Branch on new git repo locally The default branch for git is set to master. You can change that behavior by changing a global setting for the default branch. This will help keep the main branch as the default for newly created repositories. git config –global...

Dotfiles

tl;dr GitHub repo with latest dotfiles: https://github.com/pranavcode/dotfiles.git Clone the dotfiles locally Ideally, clone it into the user’s home directory. git clone [https://github.com/pranavcode/dotfiles.git](https://github.com/pranavcode/dotfiles.git) Install...

Jinja Templates Reference

Introduction Jinja is a modern templating language for Python. It enables dynamic expressions, filters, and access to variables, by providing Python-like expressions. It is used to generate any markup or source code. Official...

Implementing Distributed Systems: Concepts

Reliability The system should continue to work correctly (performing the correct function at the desired level of performance) even in the face of adversity (hardware or software faults and even human error), “continuing to work correctly, even when things go wrong.”...

Git Tips: Reset the repo to the first commit

Introduction We cannot reset to the initial commit using rebase or revert due to git’s security mechanism. We cannot completely delete the .git directory or we will lose everything in our project’s version control. Here we are primarily concerned about the...