#!/bin/bash

dist=$(grep PRETTY_NAME /etc/os-release | cut -d'"' -f2)

# Distribution specific workarounds
if [[ "$dist" =~ "SUSE Linux Enterprise Server 15 SP1" ]]; then
	cp /lib64/libreadline.so.7 /usr/lib/opsi-agent/_internal/libreadline.so.7
fi

exit 0
