Fraasi Fraasi

Check if pull needed in Git

First use git remote update, to bring your remote refs up to date. Then you can do one of several things, such as:

git status -uno will tell you whether the branch you are tracking is ahead, behind or has diverged. If it says nothing, the local and remote are the same.
git show-branch *master will show you the commits in all of the branches whose names end in 'master' (eg master and origin/master).

If you use -v with git remote update (git remote -v update) you can see which branches got updated, so you don't really need any further commands.

Linting your code, the vanilla way

You may want a linter plugin to lint your code in Vim but you probably don't need it. At least try the built-in way before jumping on the plugin bandwagon.

Defining `makeprg`

autocmd FileType <filetype> setlocal makeprg=<external command>

This autocommand tells Vim to use <external command> when invoking :make % in a <filetype> buffer. You can add as many similar lines as needed for other languages.

Sometimes we might want to print some text in Bash and we might want it to be centered to the centre of the terminal. It is a cheap way how we can increase clarity of output of our script and make it look much more attractive.

The whole magic is hidden in a program called tput.

To get number of rows and cols of current terminal, we need just two simple shell substitutions:

    TERM_ROWS="$(tput rows)"

pretty_csv/pretty_tsv

These are some simple bash functions and scripts for making CSV/TSV files prettier on the command line

see http://stefaanlippens.net/pretty-csv.html for more information.

How to add more to Git Bash on Windows

Git for Windows comes bundled with the "Git Bash" terminal which is incredibly handy for unix-like commands on a windows machine. It is missing a few standard linux utilities, but it is easy to add ones that have a windows binary available.

The basic idea is that C:\Program Files\Git\mingw64\ is your / directory according to Git Bash (note: depending on how you installed it, the directory might be different. from the start menu, right click on the Git Bash icon and open file location. It might be something like C:\Users\name\AppData\Local\Programs\Git, the mingw64 in this directory is your root. Find it by using pwd -W). If you go to that directory, you will find the typical linux root folder structure (bin, etc, lib and so on).

If you are missing a utility, such as wget, track down a binary for windows and copy the files to the corresponding directories. Sometimes the windows binary have funny prefixes, so

	#!/bin/env bash

	# Lookup section meaning in `man man`.
	sections='1,8,6,5,7'

	show_manual () {
	man -- "${1%% *}" 2> /dev/null
	}
	export -f show_manual

	function App({ name }) {
	// stateHook that keepts track of the count with initial count = 0
	const [count, setCount] = useState(0);


	// get the latest count (not the count scoped inside this function)
	const latestCount = useRef(count);


	// is called for every render and sees the variable states for this particular render

	<!DOCTYPE html>
	<html>
	<head>
	<style>
	/* How to select a range of children
	* (Here, 3rd-7th children, inclusive):
	*/
	ul li:nth-child(n+3):nth-child(-n+7) {
	outline: 1px solid #0f0;
	}