Joined August 2012
·

Dimitri

Langenargen
·
·

Posted to Update remote branch list over 1 year ago

I just tested it. No, you will still have the local and the remote branch without any update on that, if the remote branch was deleted. You will have to update your remote list. But git will tell you that it couldn't find a remote fatal: Couldn't find remote ref <branch>.

Posted to Crawling all URIs with wget and grep over 1 year ago

The command gives you a complete list of URIs. You can consider some postprocessing of the list to modify the chunks. I am sure that for this purpose you will find some frameworks or libraries. Please let me know if you have managed it somehow.

Posted to Crawling all URIs with wget and grep over 1 year ago

Thank you for your comment. Such configuration can be done with regular expressions at the -oe option in the end. Have you tried that out?

Achievements
1 Karma
32,056 Total ProTip Views