This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Download MP4 files. Run the command with --help option to see more details | |
COMMAND_NAME=./mp4-download.sh | |
LOGFILE=download.log | |
FILENAME="" | |
ARGV_BASE_INDEX=1 | |
ARGV_DEBUG=NO | |
ARGV__=() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Merge SRC_REPO into a DEST_REPO under its subdirectory NEW_DIR | |
# cf. https://stackoverflow.com/questions/277029/combining-multiple-git-repositories | |
# | |
# Place 2 repository and this Makefile as follows: | |
# | |
# ./ | |
# DEST_REPO/ | |
# Makefile | |
# | |
# Then execute |
NewerOlder