FROM debian:jessie

RUN apt-get update && apt-get install -y wget tar gcc automake make bison flex curl vim makeinfo
RUN wget https://ftp.gnu.org/gnu/bash/bash-3.2.57.tar.gz && \
    tar -xvzf bash-3.2.57.tar.gz && \
    cd bash-3.2.57 && \
    ./configure && \
    make && \
    make install
RUN echo /usr/local/bin/bash >> /etc/shells && chsh -s /usr/local/bin/bash

CMD bash
