2003-06-18 14:12:50 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
2005-03-18 09:00:46 +01:00
|
|
|
if [ "$BK_USER" = "Administrator" -o "$BK_USER" = "mysqldev" ]
|
|
|
|
then
|
|
|
|
echo "Error: you cannot commit as 'Administrator' or 'mysqldev' user."
|
|
|
|
echo "as a workaround set BK_USER to your nickname"
|
|
|
|
echo "e.g.: export BK_USER='bar'"
|
|
|
|
echo ""
|
|
|
|
echo "Checkin FAILED!"
|
|
|
|
echo "Set BK_USER and retry."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2003-06-18 14:12:50 +02:00
|
|
|
if [ "$REAL_EMAIL" = "" ]
|
|
|
|
then
|
|
|
|
echo "Error: you must set REAL_EMAIL in your profile"
|
|
|
|
echo "e.g.: export REAL_EMAIL='Joe Dow <joe@foo.bar>'"
|
|
|
|
echo ""
|
|
|
|
echo "Commit FAILED!"
|
|
|
|
echo "Set REAL_EMAIL and retry."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|