🔧 chore(latest): latest
This commit is contained in:
parent
2826bb20b7
commit
c0c5642404
2 changed files with 2 additions and 2 deletions
|
@ -121,7 +121,7 @@ if ! command -v grub2-mkconfig > /dev/null; then
|
|||
if command -v grub-mkconfig > /dev/null; then
|
||||
sudo ln -s "$(which grub-mkconfig)" /usr/bin/grub2-mkconfig
|
||||
else
|
||||
logg warn 'Neither grub2-mkconfig or grub-mkconfig are available
|
||||
logg warn 'Neither grub2-mkconfig or grub-mkconfig are available'
|
||||
fi
|
||||
fi
|
||||
|
||||
|
|
|
@ -9,7 +9,7 @@
|
|||
### Fix for Ubuntu default extension conflicting with dash-to-dock
|
||||
if dconf read /org/gnome/shell/enabled-extensions | grep dash-to-dock > /dev/null; then
|
||||
if [ -d '/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com' ]; then
|
||||
if [ ! -d /usr/share/gnome-shell/extensions/disabled ]
|
||||
if [ ! -d /usr/share/gnome-shell/extensions/disabled ]; then
|
||||
sudo mkdir /usr/share/gnome-shell/extensions/disabled
|
||||
logg info 'Created /usr/share/gnome-shell/extensions/disabled for GNOME extensions that have issues'
|
||||
fi
|
||||
|
|
Loading…
Reference in a new issue