2023-01-11 23:38:00 -06:00
|
|
|
#!/bin/bash -x
|
|
|
|
|
|
|
|
# ./rsync_master.sh mirrors.kernel.org debian pool/
|
|
|
|
|
|
|
|
DIST=$1
|
|
|
|
NAME=$2
|
|
|
|
|
|
|
|
STAMP=`date +%Y.%m.%d.%H%M%S`
|
|
|
|
|
|
|
|
if [ "$2" == "" ]; then
|
2023-01-11 23:50:26 -06:00
|
|
|
echo $0 "<RESULT> <DIST>"
|
2023-01-11 23:38:00 -06:00
|
|
|
exit
|
|
|
|
fi
|
|
|
|
|
2023-01-12 00:13:59 -06:00
|
|
|
if [ ! -d "$DIST" ]; then
|
|
|
|
mkdir $DIST
|
|
|
|
fi
|
|
|
|
|
2023-01-11 23:38:00 -06:00
|
|
|
touch $DIST/$STAMP.$NAME
|
|
|
|
|
2023-01-11 23:40:07 -06:00
|
|
|
git add --all
|
2023-01-11 23:41:14 -06:00
|
|
|
git commit -m "$DIST $NAME"
|
2023-01-11 23:38:00 -06:00
|
|
|
exit
|