From a62a8eb8262589e89c921c9fc9cb9a0726085a30 Mon Sep 17 00:00:00 2001 From: Michiel Scholten Date: Fri, 15 May 2015 11:03:16 +0200 Subject: [PATCH] Support different repolists config files --- bin/update_repos | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/bin/update_repos b/bin/update_repos index 2603160..8ba6496 100755 --- a/bin/update_repos +++ b/bin/update_repos @@ -1,8 +1,14 @@ #!/bin/bash +REPOSFILE=(~/.git_repos) + +if [ -n "$1" ]; then + REPOSFILE="$1" +fi + saveIFS="$IFS" IFS=$'\n' -LINES=($(<~/.git_repos)) +LINES=($(<"$REPOSFILE")) IFS="$saveIFS" # Set defaults to user's homedir and no group (e.g., subdir)