diff options
Diffstat (limited to 'debian/local/base-files/os-release')
| -rw-r--r-- | debian/local/base-files/os-release | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/local/base-files/os-release b/debian/local/base-files/os-release new file mode 100644 index 0000000..4075873 --- /dev/null +++ b/debian/local/base-files/os-release @@ -0,0 +1,16 @@ +NAME="Progress Linux" +VERSION="7 (graograman)" +ID="progress-linux" +ID_LIKE="debian" +VERSION_CODENAME="graograman" +VERSION_ID="7" +PRETTY_NAME="Progress Linux 7 (graograman)" +ANSI_COLOR="1;34" +CPE_NAME= +HOME_URL="https://progress-linux.org" +SUPPORT_URL="https://support.progress-linux.org" +BUG_REPORT_URL="https://bug-report.progress-linux.org" +PRIVACY_POLICY_URL="https://privacy-policy.progress-linux.org" +BUILD_ID= +VARIANT= +VARIANT_ID= |