Popular Tools Programming Tips
Inferno sh command to find files in a git repo with oldtext and update them
Jason Catena
·
0 responses
·
git, diff, sed, grep
Chuck Norris In Your Terminal
Nicholas Jordon
·
0 responses
·
php, git, funny, bash
Be sure that your commit pass tests
Łukasz Niemier
·
0 responses
·
testing, hooks, git
Polling parallel processes using bash
Siddharth Kumar
·
0 responses
·
poll, scripts, parallel, bash
ShinobiControls w/ Cocoapods
Jeffrey Jackson
·
2 responses
·
xcode, opengl, ios, git
Recursively delete .git directories
Montana Flynn
·
0 responses
·
shell, linux, devops, git
Using host for DNS lookups
Nate Underwood
·
0 responses
·
linux, unix, sysadmin, macos
'Sensio' on GitHub is now 'SensioLabs' - packagist doesn't know
Steffan Harries
·
0 responses
·
packagist, symfony2, sensio, sensiolabs
Quicker Git Add Commit Push
Joel Kirchartz
·
0 responses
·
git, bash
Create an AWS Stack with cfndsl
Bruno
·
3 responses
·
devops, aws, cfndsl, cloudformation
Quick screenshot sharing
Nat Friedman
·
4 responses
·
mac, tools, bash
Taking input from Get-ChildItem
Matthew Donoughe
·
0 responses
·
powershell, windows
Be more descriptive with your remote names.
Abizer Nasir
·
0 responses
·
remote repositories, repository name, git
Revert documents in vim
Joe Gardiner
·
3 responses
·
shell, vim, vi
Reverse an Array in Windows Batch
John Bevan
·
0 responses
·
script, batch, array, windows
Git live log (without flickering)
YDB
·
0 responses
·
log, gist, git, linux
For cleaner merges, use a strategy
Suneel Chakravorty
·
4 responses
·
version control, git, merge conflicts
Windows: Batch convert .wav to .mp3 and .ogg using oggenc and lame
Alexander Brevig
·
0 responses
·
tutorial, convert, batchfile, windows
Git Aliases
James Doyle
·
1 response
·
zsh, aliases, alias, git
Bash get external IP!
Samar Panda
·
3 responses
·
ip, bash
Rust a safe, concurrent, practical language
Bob Williams
·
0 responses
·
rust, programming, github
Use default message when doing git merge
Orlando Del Aguila
·
0 responses
·
git, merge, pull, git merge