fix some docker warnings

Author: joshuanianji

base-sha.Dockerfile

@@ -3,7 +3,7 @@
 # separating this into a separate file so we can get better caching
 # there is a lot of redundancy between this and base.Dockerfile, but I don't think it's worth it to try to abstract it out
 
-FROM debian:bullseye as scheme-builder
+FROM debian:bullseye AS scheme-builder
 
 WORKDIR /root
 
@@ -22,12 +22,12 @@ RUN which scheme
 # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run
 RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib
 
-FROM debian:bullseye as idris-builder
+FROM debian:bullseye AS idris-builder
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl
 
-ENV DEBIAN_FRONTEND noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
 # SHA of the latest commit on the idris-lang/idris2 repo
 ARG IDRIS_SHA
 

base.Dockerfile

@@ -1,7 +1,7 @@
 # Expects IDRIS_VERSION to NOT be `latest`
-# uBut a tag of the form `v0.7.0`
+# But a tag of the form `v0.7.0`
 
-FROM debian:bullseye as scheme-builder
+FROM debian:bullseye AS scheme-builder
 
 WORKDIR /root
 
@@ -20,12 +20,12 @@ RUN which scheme
 # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run
 RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib
 
-FROM debian:bullseye as idris-builder
+FROM debian:bullseye AS idris-builder
 
 RUN apt-get update && \
     apt-get install -y git make gcc libgmp-dev curl
 
-ENV DEBIAN_FRONTEND noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
 ARG IDRIS_VERSION
 
 COPY --from=scheme-builder /usr/bin/scheme /usr/bin/scheme

debian.Dockerfile

@@ -1,7 +1,7 @@
 ARG IDRIS_VERSION=latest
 ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION}
 
-FROM $BASE_IMG as base
+FROM $BASE_IMG AS base
 
 FROM debian:bullseye
 

devcontainer-sha.Dockerfile

@@ -7,7 +7,7 @@ ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION}
 # =====
 # Idris Builder
 # Rebuild with correct prefix. Somehow, building from scratch with a different prefix fails
-FROM $BASE_IMG as idris-builder
+FROM $BASE_IMG AS idris-builder
 ARG IDRIS_VERSION
 ARG IDRIS_SHA
 

devcontainer.Dockerfile

@@ -6,7 +6,7 @@ ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION}
 # =====
 # Idris Builder
 # Rebuild with correct prefix. Somehow, building from scratch with a different prefix fails
-FROM $BASE_IMG as idris-builder
+FROM $BASE_IMG AS idris-builder
 ARG IDRIS_VERSION
 
 WORKDIR /build

ubuntu.Dockerfile

@@ -1,7 +1,7 @@
 ARG IDRIS_VERSION=latest
 ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION}
 
-FROM $BASE_IMG as base
+FROM $BASE_IMG AS base
 
 FROM ubuntu:20.04