diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index 1fda5743294..d1dee8961b3 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -14,8 +14,7 @@ RUN sudo apt-get -q update && \ sudo rm -rf /var/lib/apt/lists/* RUN wget https://svn.reactos.org/amine/RosBEBinFull.tar.gz && \ - sudo tar -xzf RosBEBinFull.tar.gz -C /usr/local && \ - sudo mv /usr/local/RosBEBinFull /usr/local/RosBE && \ + sudo tar -xzvf RosBEBinFull.tar.gz -C /usr/local --one-top-level=RosBE --strip-components 1 && \ rm -f RosBEBinFull.tar.gz RUN echo 'export PATH=/usr/local/RosBE/i386/bin:$PATH' >> /home/gitpod/.profile