Popular Tools Programming Tips
Undoing a git merge
Ezekiel Kigbo
·
0 responses
·
merge, undo, simple, git
Learn Git in 15 minutes!
Stian Haga
·
0 responses
·
git, course, interactive
Efficiency in Development Workflows
Codeship
·
0 responses
·
github, git, workflow, branching
Bash list files recursivly with find
franklin
·
0 responses
·
shell, ls, find, commandline
Get rid of .DS_Store files on Mac when Zipping
Ram Ratan Maurya
·
0 responses
·
terminal, mac, hidden files
Start quick dev server with docker
Balazs Nadasdi
·
0 responses
·
shell, zsh, server, docker
Cómo crear un redireccionamiento simple desde Apache
Hugo Gilmar Erazo
·
0 responses
·
apache, redirect, debian, mod_alias
Yoeman project only building in root directory
Fay Pickering
·
0 responses
·
backbone, yeoman, javascript, bash
Kanban + github
Javier Cervantes
·
0 responses
·
git, kanban, github
Whitespace is useless!
David Kormushoff
·
1 response
·
diff, alias, command line, unix
Essential PHP command-line options
Oliver Montes
·
0 responses
·
php, shell, linux
Sintaxis de Mathematica en vim
José Iván López
·
0 responses
·
vim, mathematica
Git push current branch by default
Russell
·
0 responses
·
github, git, version control, defaults
Get your public IP address easily
Larry Williamson
·
0 responses
·
shell, curl, wget, ifconfig
How to 'git stash' untracked files
Joe Critchley
·
0 responses
·
cli, stash, git
Integrating your GitHub project into Jenkins
Jürgen Hermann
·
0 responses
·
tools, workflow, jenkins, how.to
SSH to Vagrant VM
Gareth Rees
·
2 responses
·
vagrant
Checkout a new branch from other branch or tag with git checkout
Daniel Gomes
·
0 responses
·
danielcsgomes, git
Use pushd and popd to easily jump back to previous folders
Bastian Spanneberg
·
0 responses
·
shell, productivity, linux
The most useful Shell command
Jasdeep Khalsa
·
0 responses
·
shell, sh, linux, command-line