From 4c3f9b2dc2972b690d21e16bd6f45854d265c982 Mon Sep 17 00:00:00 2001 From: Adar Nimrod <nimrod@shore.co.il> Date: Mon, 16 May 2022 22:17:01 +0300 Subject: [PATCH] gnome-open workaround. I need it for some project and it seems to me to belong here instead of rcfiles. --- .dockerignore | 1 + Dockerfile | 1 + gnome-open | 2 ++ 3 files changed, 4 insertions(+) create mode 100755 gnome-open diff --git a/.dockerignore b/.dockerignore index 4d72fb9..7583299 100644 --- a/.dockerignore +++ b/.dockerignore @@ -3,3 +3,4 @@ !preferences.d/* !bfg !bash_completion.d/* +!gnome-open diff --git a/Dockerfile b/Dockerfile index dfb8814..9c95eee 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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" diff --git a/gnome-open b/gnome-open new file mode 100755 index 0000000..328ab9a --- /dev/null +++ b/gnome-open @@ -0,0 +1,2 @@ +#!/bin/sh +exec gio open "$@" -- GitLab