All tags

Posts tagged: #bash

Poll svn server for changes with git clone

0 minute read
Just for convenience, paste this in a git bash window: while true; do date; echo "Polling svn server..."; git svn fetch;echo "Sleeping."; sleep 300; done Then just refresh your fa…
Read More

reseting home folder permissions in ubuntu linux

2 minute read
If you are like me and my coworkers, you often end up running stuff as root in your home folder and end up not able to access your own files. For the record, here's the commands to reset the permissio…
Read More

Removing the execute flag from many files

0 minute read
Here's how to recursively remove execute permissions on files that have been copied from a windows system. find * -type f -exec chmod -x {} \; ie, find all files (not directories), and execute a comma…
Read More

My bash prompt

1 minute read
I like a new line in my prompt so that if I'm deep in a path I don't end up with 10 characters left to type in, and pretty colours so that it's easy to spot the prompt when scrolling through lots of o…
Read More