x11-misc/whatyouhide.gotham-contrib
1
0
Fork 0
mirror of https://github.com/whatyouhide/gotham-contrib.git synced 2026-09-10 06:36:14 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix #34

Browse source 
I don't really know what I'm doing here. Just took this from this comment: https://github.com/whatyouhide/gotham-contrib/issues/34#issuecomment-394152104. Hopefully it works :)
This commit is contained in:
Andrea Leopardi 2018-10-08 12:11:40 +02:00 committed by GitHub
parent 89dd18df16
commit 85aaecfd4b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnome-terminal/src/tools.sh
View file

@ -1,5 +1,5 @@
#!/usr/bin/env bash
gnomeVersion="$(expr "$(gnome-terminal --version)" : '.* \(.*[.].*[.].*\)$')"
gnomeVersion="$(expr "$(gnome-terminal --version)" : '# GNOME Terminal \([[:digit:]]*[.][[:digit:]]*[.][[:digit:]]* \)')"
# newGnome=1 if the gnome-terminal version >= 3.8
if [[ ("$(echo "$gnomeVersion" | cut -d"." -f1)" = "3" && \