2017-09-06 04:16:49 +02:00
|
|
|
#! /bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2017-09-07 00:55:05 +02:00
|
|
|
sed -i "s;@SECTION@;${SECTION:+$SECTION/};g" debian/control
|
2021-09-06 15:54:44 +02:00
|
|
|
sed -i "s;@TOOLKIT_VERSION@;${TOOLKIT_VERSION};g" debian/control
|
2017-09-07 00:55:05 +02:00
|
|
|
sed -i "s;@DOCKER_VERSION@;${DOCKER_VERSION};g" debian/control
|