Robin Mueller
176a9f1612
All checks were successful
Rust/sat-rs/pipeline/pr-main This commit looks good
- Added diagrams for sat-rs example for both structure and data flow. - Added explanations for those diagrams as well. - Some renaming: Use `Pool` instead of `Store` for pool components. - General improvements for satrs-book.
31 lines
1.8 KiB
Docker
31 lines
1.8 KiB
Docker
# Run the following commands from root directory to build and run locally
|
|
# docker build -f automation/Dockerfile -t <NAME> .
|
|
# docker run -it <NAME>
|
|
FROM rust:latest
|
|
RUN apt-get update && apt-get --yes upgrade
|
|
# tzdata is a dependency, won't install otherwise
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
RUN apt-get --yes install rsync curl
|
|
|
|
# set CROSS_CONTAINER_IN_CONTAINER to inform `cross` that it is executed from within a container
|
|
ENV CROSS_CONTAINER_IN_CONTAINER=true
|
|
|
|
RUN rustup install nightly && \
|
|
rustup target add thumbv7em-none-eabihf armv7-unknown-linux-gnueabihf && \
|
|
rustup component add rustfmt clippy
|
|
|
|
WORKDIR "/tmp"
|
|
# RUN cargo install mdbook --no-default-features --features search --vers "^0.4" --locked
|
|
RUN curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.37/mdbook-v0.4.37-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory /usr/local/bin
|
|
RUN curl -sSL https://github.com/Michael-F-Bryan/mdbook-linkcheck/releases/latest/download/mdbook-linkcheck.x86_64-unknown-linux-gnu.zip -o mdbook-linkcheck.zip && \
|
|
unzip mdbook-linkcheck.zip && \
|
|
chmod +x mdbook-linkcheck && \
|
|
cp mdbook-linkcheck /usr/local/bin
|
|
|
|
# SSH stuff to allow deployment to doc server
|
|
RUN adduser --uid 114 jenkins
|
|
|
|
# Add documentation server to known hosts
|
|
RUN echo "|1|/LzCV4BuTmTb2wKnD146l9fTKgQ=|NJJtVjvWbtRt8OYqFgcYRnMQyVw= ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNL8ssTonYtgiR/6RRlSIK9WU1ywOcJmxFTLcEblAwH7oifZzmYq3XRfwXrgfMpylEfMFYfCU8JRqtmi19xc21A=" >> /etc/ssh/ssh_known_hosts
|
|
RUN echo "|1|CcBvBc3EG03G+XM5rqRHs6gK/Gg=|oGeJQ+1I8NGI2THIkJsW92DpTzs= ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNL8ssTonYtgiR/6RRlSIK9WU1ywOcJmxFTLcEblAwH7oifZzmYq3XRfwXrgfMpylEfMFYfCU8JRqtmi19xc21A=" >> /etc/ssh/ssh_known_hosts
|