You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# newGnome=1 if the gnome-terminal version >= 3.8
if [[ ("$(echo "$gnomeVersion" | cut -d"." -f1)" = "3" && \
"$(echo "$gnomeVersion" | cut -d"." -f2)" -ge 8) || \
"$(echo "$gnomeVersion" | cut -d"." -f1)" -ge 4 ]]
then newGnome="1"
dconfdir=/org/gnome/terminal/legacy/profiles:
will fail if the version of gnome is 3.32 (ubuntu 19.04), for the reason that the second number is 3.
The text was updated successfully, but these errors were encountered:
yawen-guan
changed the title
fails to detect profiles in Ubuntu 19.04 and the reason
failure to detect profiles in Ubuntu 19.04 and the reason
Aug 1, 2019
the following code in install.sh
will fail if the version of gnome is 3.32 (ubuntu 19.04), for the reason that the second number is 3.
The text was updated successfully, but these errors were encountered: