Skip to content

Commit

Permalink
feat: update fonts; add gnome-terminal, git-gui, gitk and their deskt…
Browse files Browse the repository at this point in the history
…op icons (#145)

* update fonts and install gnome-terminal instead of xterm

* font and git-gui update

* add gitk and its desktop icon
  • Loading branch information
gavin-k-lee authored Apr 12, 2021
1 parent 0a667be commit faae1f6
Show file tree
Hide file tree
Showing 4 changed files with 42 additions and 1 deletion.
Binary file added docker/vnc/.git_icon.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
16 changes: 15 additions & 1 deletion docker/vnc/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,11 @@ RUN apt-get update \
xfce4-settings \
xorg \
xubuntu-icon-theme \
xterm \
gnome-terminal \
ttf-dejavu \
git-gui \
gitk \
emacs \
&& apt-get autoremove --purge \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/* \
Expand All @@ -44,6 +48,16 @@ ENV tigervnc_version=1.9.0

RUN curl -sSfL https://bintray.com/tigervnc/stable/download_file?file_path=tigervnc-${tigervnc_version}.x86_64.tar.gz | tar -zxf - -C /usr/local --strip=2

#################################################################
# Add desktop icons

COPY Git-GUI.desktop /home/jovyan/Desktop/
RUN chmod +x /home/jovyan/Desktop/Git-GUI.desktop

COPY gitk.desktop /home/jovyan/Desktop/
COPY .git_icon.png /home/jovyan/Desktop/
RUN chmod +x /home/jovyan/Desktop/gitk.desktop

#################################################################
# Install the jupyter extensions
USER ${NB_USER}
Expand Down
14 changes: 14 additions & 0 deletions docker/vnc/Git-GUI.desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
[Desktop Entry]
Version=1.0
Name=Git-GUI
GenericName=Git-GUI
X-GNOME-FullName=Git-GUI
Comment=Graphical User Interface for Git
Type=Application
Categories=Git;Versioning;
Exec=sh -c "cd /home/jovyan/work/${CI_PROJECT}; git gui"
TryExec=git gui
Terminal=false
StartupNotify=false
Icon=/usr/share/git-gui/lib/git-gui.ico
StartupWMClass=Git-GUI-Main
13 changes: 13 additions & 0 deletions docker/vnc/gitk.desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
[Desktop Entry]
Version=2.31.1
Name=gitk
GenericName=gitk
X-GNOME-FullName=gitk
Comment=Graphical Visualization for Git
Type=Application
Categories=Git;Versioning;
Exec=sh -c "cd /home/jovyan/work/${CI_PROJECT}; gitk"
TryExec=gitk
Terminal=false
StartupNotify=false
Icon=/home/jovyan/Desktop/.git_icon.png

0 comments on commit faae1f6

Please sign in to comment.