Dev

A universal document converter -- Pandoc

February 23, 2021

cmd dev

Tools to manage code snippets

2 apps to manage your code snippets in local machine: massCode and SnippetStore. Both tools are open source apps with different features. You can choose one according your needs.

dev

A tool to learn Git

LearnGitBranching is an online tool that provides an visual and interactive way to learn Git. It is a pure clientside application written in JavaScript, only an HTML page with some JS and CSS, there's no AJAX requests. Just open it in a browser and you are ready to use it. It offers various levels for you to challenge. See more on its GitHub repository.

dev git

A tool showing cheatsheet for programming languages and Linux commands

cheat.sh is a pretty useful tool that provides a cheat sheet for all you need like Linux commands, programming languages and DBMSes. You can use it to display usages of a Linux command, a code snip of a programming language like code for looping an array with PHP. For the moment, it covers 56 programming languages(C, awk, bash, PHP, Python, Perl, R, Ruby, JS, Go, Swift...) and 1000+ Linux commands.

cmd dev git-bash

Things about changing Github username

First, the official GitHub doc on changeing username says you can change your GitHub username at any time. It also mentions how to change and what happens after you change. But there are still some things to consider afterwards. The author of things to do after username changes has done these things many times, therefore this article gives a list of subsequent things to do to make the transaction as smoothly as possible.

dev