Joined August 2012
·
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?
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>
.