Skip to content
Snippets Groups Projects
Commit 4c3f9b2d authored by nimrod's avatar nimrod
Browse files

gnome-open workaround.

I need it for some project and it seems to me to belong here instead of
rcfiles.
parent 002dcbf8
Branches
No related tags found
No related merge requests found
Pipeline #2884 waiting for manual action
......@@ -3,3 +3,4 @@
!preferences.d/*
!bfg
!bash_completion.d/*
!gnome-open
......@@ -299,6 +299,7 @@ RUN apt-get update && \
rm /etc/ssh/ssh_host_* && \
rm -rf /tmp/* /var/tmp/* /var/lib/apt/lists/* /var/cache/apt/archives/* ~/.cache/*
COPY --chown=root:root bfg /usr/local/bin/
COPY --chown=root:root gnome-open /usr/local/bin/
COPY --chown=root:root bash_completion.d/* /etc/bash_completion.d/
LABEL com.github.containers.toolbox="true" \
com.github.debarshiray.toolbox="true"
......
#!/bin/sh
exec gio open "$@"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment