2020-01-12 01:57:48 +01:00
|
|
|
FROM gitpod/workspace-full
|
|
|
|
|
|
2020-01-14 09:17:11 +01:00
|
|
|
USER root
|
2020-01-12 01:57:48 +01:00
|
|
|
|
2020-01-14 09:16:11 +01:00
|
|
|
# Update apt repositories
|
|
|
|
|
RUN apt-get update
|
|
|
|
|
|
|
|
|
|
# Upgrade the image
|
|
|
|
|
RUN apt upgrade -y
|
|
|
|
|
RUN apt dist-upgrade -y
|
|
|
|
|
|
|
|
|
|
# Install linting dependencies
|
|
|
|
|
RUN apt install -y shellcheck
|
|
|
|
|
|
|
|
|
|
# Remove apt sources to clean up space
|
|
|
|
|
RUN rm -rf /var/lib/apt/lists/*
|
|
|
|
|
|
|
|
|
|
# Clean-up unneeded packages
|
2020-01-14 09:17:11 +01:00
|
|
|
RUN apt autoremove -y
|
