From 5f04b34b15fdbcdd3bcfae23b5c3a1efdc7852d4 Mon Sep 17 00:00:00 2001
From: Andrea Bedini <andreabedini@users.noreply.github.com>
Date: Thu, 27 Dec 2018 15:37:43 +0100
Subject: [PATCH] Introduce distro_alias for Amazon Linux

Amazon Linux introduces itself as

```
andrea:~ $ cat /etc/os-release
NAME="Amazon Linux AMI"
VERSION="2018.03"
ID="amzn"
ID_LIKE="rhel fedora"
VERSION_ID="2018.03"
PRETTY_NAME="Amazon Linux AMI 2018.03"
ANSI_COLOR="0;33"
CPE_NAME="cpe:/o:amazon:linux:2018.03:ga"
HOME_URL="http://aws.amazon.com/amazon-linux-ami/"
```
---
 ghcup | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ghcup b/ghcup
index bf1d0d6..0c03777 100755
--- a/ghcup
+++ b/ghcup
@@ -948,6 +948,9 @@ get_distro_alias() {
         "Alpine Linux"|"Alpine")
             distro_alias=alpine
             ;;
+	"Amazon Linux AMI")
+	    distro_alias=amazonlinux
+	    ;;
         "AIX")
             distro_alias=aix
             ;;