mirror of https://github.com/krallin/tini.git
parent
363f480520
commit
73aabc2a40
|
@ -29,8 +29,8 @@ deploy:
|
||||||
secure: Yk90ANpSPv1iJy8QDXCPwfaSmEr/WIJ3bzhQ6X8JvZjfrwTosbh0HrUzQyeac3nyvNwj7YJRssolOFc21IBKPpCFTZqYxSkuLPU6ysG4HGHgN6YJhOMm4mG4KKJ6741q3DJendhZpalBhCEi+NcZK/PCSD97Vl4OqRjBUged0fs=
|
secure: Yk90ANpSPv1iJy8QDXCPwfaSmEr/WIJ3bzhQ6X8JvZjfrwTosbh0HrUzQyeac3nyvNwj7YJRssolOFc21IBKPpCFTZqYxSkuLPU6ysG4HGHgN6YJhOMm4mG4KKJ6741q3DJendhZpalBhCEi+NcZK/PCSD97Vl4OqRjBUged0fs=
|
||||||
file:
|
file:
|
||||||
- "./dist/tini"
|
- "./dist/tini"
|
||||||
- "./dist/tini_0.4.1.deb"
|
- "./dist/tini_0.4.2.deb"
|
||||||
- "./dist/tini_0.4.1.rpm"
|
- "./dist/tini_0.4.2.rpm"
|
||||||
on:
|
on:
|
||||||
repo: krallin/tini
|
repo: krallin/tini
|
||||||
tags: true
|
tags: true
|
||||||
|
|
|
@ -4,7 +4,7 @@ project (tini C)
|
||||||
# Config
|
# Config
|
||||||
set (tini_VERSION_MAJOR 0)
|
set (tini_VERSION_MAJOR 0)
|
||||||
set (tini_VERSION_MINOR 4)
|
set (tini_VERSION_MINOR 4)
|
||||||
set (tini_VERSION_PATCH 1)
|
set (tini_VERSION_PATCH 2)
|
||||||
execute_process (COMMAND git log -n 1 --date=local --pretty=format:"%h" WORKING_DIRECTORY "${PROJECT_SOURCE_DIR}" OUTPUT_VARIABLE tini_VERSION_GIT)
|
execute_process (COMMAND git log -n 1 --date=local --pretty=format:"%h" WORKING_DIRECTORY "${PROJECT_SOURCE_DIR}" OUTPUT_VARIABLE tini_VERSION_GIT)
|
||||||
|
|
||||||
# Flags
|
# Flags
|
||||||
|
|
|
@ -34,7 +34,7 @@ In Docker, you will want to use an entrypoint so you don't have to remember
|
||||||
to manually invoke Tini:
|
to manually invoke Tini:
|
||||||
|
|
||||||
# Add Tini
|
# Add Tini
|
||||||
ENV TINI_VERSION v0.4.1
|
ENV TINI_VERSION v0.4.2
|
||||||
ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /tini
|
ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /tini
|
||||||
RUN chmod +x /tini
|
RUN chmod +x /tini
|
||||||
ENTRYPOINT ["/tini", "--"]
|
ENTRYPOINT ["/tini", "--"]
|
||||||
|
|
Loading…
Reference in New Issue