RUN \
  apt-get update && \
  apt-get -y install ssh && \
  apt-get install -qq -y wget

RUN \
  wget --user=morlov --password=BB2fcRFzSX 'https://storage.termt.com/debian/pubkey.key' -q -O- | apt-key add - && \
  echo 'deb ssh://robot.termt.com:/robot.termt.com/debian/ testing main' > /etc/apt/sources.list.d/tt.list && \
  apt-get update && \
  apt-get -y install devtools-1.0