-
-
Save theodorosploumis/5414b3f3d44ba1b02549 to your computer and use it in GitHub Desktop.
| #!/bin/bash -e | |
| # IMPORTANT. My phpstom installation exists on /opt/phpstorm. | |
| # Early Access program: https://confluence.jetbrains.com/display/PhpStorm/PhpStorm+Early+Access+Program | |
| # For stable releases try: https://data.services.jetbrains.com/products/download?code=PS&platform=linux | |
| if [ "$(whoami)" != "root" ] | |
| then | |
| echo "Sorry, you are not root." | |
| exit 1 | |
| fi | |
| echo -n "Please enter the PhpStorm download url (eg http://download.jetbrains.com/webide/PhpStorm-EAP-141.690.tar.gz): " | |
| read url | |
| # Download file from url | |
| echo "Downloading PhpStorm to ~/Desktop" | |
| cd ~/Desktop | |
| wget ${url} --no-check-certificate | |
| tar -xzf ~/Desktop/PhpStorm* | |
| rm ~/Desktop/PhpStorm*.tar.gz | |
| # Remove old Phpstorm | |
| echo "Removing old PhpStorm" | |
| rm -rf /opt/phpstorm | |
| # Copy new Phpstorm | |
| echo "Copying new PhpStorm" | |
| mv ~/Desktop/PhpStorm* /opt/phpstorm | |
| # Finish | |
| echo "New PhpStorm has been installed!" |
What about all your old settings?
it saves the settings in your home folder called .WebIde100
rm ~/Desktop/PhpStorm*.tar.gz
would be better than
rm ~/Desktop/PhpStorm*
imho
love it
Maybe this is be better idea
if [ "$(whoami)" != "root" ]
then
echo "Sorry, you are not root."
exit 1
fi
than # IMPORTANT. Run with sudo!
And also, for linux save in /tmp will be correctly than save temporary file on desktop.
what about any additional installed plugins?
A simple, similar script to update to the latest version of PhpStorm on Ubuntu (without having to type in a URL): https://gist.github.com/olivertappin/e5920e131db9a451c91aa6e2bc24dc40
New similar script for install or update(auto) jetbrains products like phpstorm, webstorm and other. + java + non latin hotkeys fixes
https://gist.github.com/zabidok/8418c4f679741f585ac9ce90b16fb8a5
Super Useful :)
THANKS!
Why not use rsync ?
thanks, very useful 👍