Mahdi Razavi M-Razavi

Create a Chrome search shortcut for your GitHub

If you only want to search in a specific repository, follow the Instruction-1 that David tweeted Winterbottom. For searching in whole repositories of organiation/user follow the Instruction-2

Instructions-1: search in a specific repository

Open Chrome > Settings
Search "manage search engines" and click into it

!! be very careful with these !! you may end up deleting what you don't want to

remove untracked

git clean -f -d

CAUTION: as above but removes ignored files like config.

git clean -f -x -d

CAUTION: as above, but cleans untracked and ignored files through the entire repo (without :/, the operation affects only the current directory)

git clean -fxd :/

Prune unused Docker objects

Imagges

clean up unused images

docker image prune

	# Replace with your windows username
	win_user=<replace>

	# Update the apt package list.
	sudo apt-get update -y

	# Install Docker's package dependencies.
	sudo apt-get install -y \
	apt-transport-https \
	ca-certificates \

	\bWORDA[\s\S]*?WORDB

	\bWORDA[\s\S]*?WORDB(?=[\r\n])