chore: remove jetporch

Even though this branch is called `add-jetportch`, the project was
discontinued.
This commit is contained in:
João Paulo Dubas 2024-02-01 11:29:29 +00:00
parent 7151b3a710
commit 086cdf46de

View File

@ -1,12 +1,3 @@
FROM ubuntu:22.04 as jetporch-builder
ENV PATH /root/.cargo/bin:${PATH}
RUN apt-get update \
&& apt-get install -y build-essential curl git libssl-dev pkg-config \
&& curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y \
&& git clone https://git.sr.ht/~mpdehaan/jetporch /tmp/jetporch \
&& cd /tmp/jetporch \
&& make
FROM ubuntu:22.04
# system deps
@ -127,9 +118,7 @@ ENV XDG_CONFIG_HOME ${HOME}/.config
ENV XDG_DATA_HOME ${HOME}/.local/share
ENV XDG_CACHE_HOME ${HOME}/.cache
ENV STARSHIP_CONFIG ${XDG_CONFIG_HOME}/starship/config.toml
ENV CARGO_HOME ${XDG_DATA_HOME}/cargo
ENV RUSTUP_HOME ${XDG_DATA_HOME}/rustup
ENV PATH ${LOCAL_BIN_HOME}:${CARGO_HOME}/bin:$PATH
ENV PATH ${LOCAL_BIN_HOME}:$PATH
# NOTE (jpd): the section below exists mainly to handle a project running elixir 1.11.
# It allows the usage of openssl 1.1 and a compatible elixir-ls.
@ -154,9 +143,6 @@ RUN curl https://mise.jdx.dev/install.sh | sh \
&& curl -sS https://raw.githubusercontent.com/ajeetdsouza/zoxide/main/install.sh | bash \
&& git clone https://github.com/tmux-plugins/tpm.git ${XDG_CONFIG_HOME}/tmux/plugins/tpm
# fetch jetporch from builder step
COPY --from=jetporch-builder --chown=coder:coder /tmp/jetporch/target/release/jetp ${LOCAL_BIN_HOME}
# configure fish and bash
RUN fish -c true \
&& echo 'starship init fish | source' >> ${XDG_CONFIG_HOME}/fish/config.fish \