gnome-shell-timer-config
GNOME Shell extension providing a countdown timer in the top panel
RUN apt-get update && \
apt-get install -y gnome-shell-timer
RUN apt-get update && \
apt-get install -y gnome-shell-timer
RUN apt-get update && \
apt-get install -y gnome-shell-timer
RUN apt-get update && \
apt-get install -y gnome-shell-timer