gnome-shell-extensions | Gnome Shell extension to remove the workspace

I updated my post with my progress solving my own question, with the help of bhucho in the comments of my post, I was able to fix my php7.2.

Looking for solutions for install the correct sqlsrv driver for my php version, I checked again the microsoft webpage to find out which sqlsrv drivers I needed to run sql queries with php7.2, and I tried again to run sudo pecl install sqlsrv and sudo pecl install pdo_sqlsrv, but it didn't worked for me. Then I found another way to install the drivers without pecl, and i ran sudo apt-get install php7.2-dev and downloaded the packages with wget http://pecl.php.net/get/sqlsrv-5.3.0.tgz and wget http://pecl.php.net/get/pdo_sqlsrv-5.3.0.tgz (5.3.0 was my sqlsrv version for php7.2), after this I installed with pear install pdo_sqlsrv-5.3.0.tgz and pear install sqlsrv-5.3.0.tgz. This time it worked for me (first time it throwed to me an error telling me that there was an installed version of pdo_sqlsrv, but I ran sudo pear uninstall pecl/pdo_sqlsrv and ran again the install order, then it worked for me). Then, I tried again to run sudo pecl install sqlsrv and sudo pecl install pdo_sqlsrv and this time it worked! After this I ran sudo phpenmod -v 7.2 sqlsrv pdo_sqlsrv and finally I finished the php7.2 sqlsrv drivers installation in my ubuntu! I tried to run again the connection to my database on sql server and it worked.

Thank you all for the help!

Budgie isn't GNOME Shell, so the error is correct. To install GNOME Shell extensions you need to be running GNOME Shell.

These files must be in the top-level of the Zip:

• metadata.json
• extension.js
• prefs.js (Optional file)
• stylesheet.css (Optional file)

That is the only requirement. The -r and -j functions are explained by zip --help:

-j junk (don't record) directory names

-r recurse into directories

If all your extension files are in one, top-level directory then -j will work, otherwise it will probably break your directory hierarchy. You can check the layout of a zip with unzip -l.

Typically you will zip with zip -r extension@domain.zip [path with metadata.json]: