docker/debian-dev/bootstrap/get-debian-version.bash


1
2
3
4
5
6
7
8
9
10
11
12
13

#! /usr/bin/env bash

set -e

if [ -f /etc/os-release ]; then
    . /etc/os-release
    if [ "$ID" = "debian" ]; then
        echo "$VERSION_ID"
        exit 0
    fi
fi

exit 1