Dev tools

Git

configuation du dépot local pour fonctionner avec clé ssh

nano .git/config

remplacer

url = https://github.com/cheperboy/linux.git

par

url = git@github.com:cheperboy/linux.git

interractive commands

global conf stored in ~/.gitconfig

git config --help

Create from existing data

cd my_project_dir
git init
git add .

Create from existing repository

git clone

Show

git status
git diff

Update
Fetch latests changes from origin, does not merge

git fetch

Pull latest changes from origin and merge

git pull

Publish

git commit -am "message"
git push

Force update git cancel local modifications and fetch from origin:

git fetch origin
git reset --hard origin/master
git clean -dfx

git overwrite origin (github) with local
git push --force

Colortail

like tail with color

sudo apt-get install colortail
colortail -f myapp.log

sample conf for log to add in colortail.conf

nano /etc/colortail/colortail.conf

# matches the word FOO
# ^.*(FOO).*$

COLOR brightred
{
^.*(CRITICAL).*$
^.*(ERROR).*$
}
COLOR yellow
{
^.*(WARNING).*$
}
COLOR green
{
^.*(INFO).*$
}

Putty

• Themes
• MTPutty

Mkdocs

mkdocs serve --dev-addr 0.0.0.0:8001

Sublime

shortcuts * ctrl + R show function list * ctrl + L select line * ctrl + maj + K delete line * ctrl + shift + up move line up

• ctrl + P show interactive menu