Commit 56367e42 authored by Oliver Keeble's avatar Oliver Keeble
Browse files

[CI] Do not overwrite a working krb5.conf

parent 7fa45625
......@@ -15,8 +15,10 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
echo Initializing krb5.conf...
sudo cp -fv krb5.conf /etc/krb5.conf
if [ ! -f /etc/krb5.conf ] || ! (grep default_realm /etc/krb5.conf | grep -qv '^ *#'); then
echo Initializing krb5.conf...
sudo cp -fv krb5.conf /etc/krb5.conf
fi
CTAUSER=cta
if [[ ! -z $1 ]]; then
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment