Accidentally deleted script in start up applications in GNOME Tweak Tool in ubuntu 18.04 and now Ubuntu dock does not start at login. I get default GNOME dock only. Option to turn on Ubuntu dock in Tweak Tool extensions section is grayed out, but gnome-shell-extension-ubuntu-dock
is installed.
Can somebody tell what is the name of that script? (I'm almost sure it was a script. Really don't want to reinstall all default packages.)