Skip to content

Instantly share code, notes, and snippets.

@robstryker
robstryker / webtools.merge.servertools.sh
Last active October 5, 2017 20:01 — forked from nickboldt/webtools.merge.servertools.sh
merge webtools.servertools repos
#!/bin/bash
#
# merge servertools repos into a single repo
# based on https://paste.fedoraproject.org/paste/0tnkOZ4N0kP5AKLul2HLnA/raw
START_TIME=`date +%s`
# in case we have another alias for mv, like 'mv -i'
alias mv=mv