Linux

Linux Ubuntu 14.04 LTS

Compress all the images in a directory

for f in *.jpg; do convert -quality 70 $f $f; done Version context This procedure describes the software and the environment available at the time of its publication. The packages, interfaces, and repositories mentioned may have changed or disappeared; first check the system version and its support level. cat /etc/os-release uname -r Work on a backup or a snapshot, note every modified file, and prepare for rollback. For a current workstation or server, prefer signed packages from officiall...

Linux Ubuntu 14.04 LTS

acer: Enable SD card reading

To activate the SD card reader on a laptop running Ubuntu:1 – Back up your module file:sudo cp /etc/modules /etc/modules.bak2 – Edit the module file and add the « tifm_sd » module at the end of the filesudo gedit /etc/modules or sudo vi /etc/modules3 – Restart the machine or activate modules:sudo modprobe tifm_sd Version context This procedure describes the software and the environment available at the time of its publication. The packages, interface...

Linux Ubuntu 14.04 LTS

Zend IDE, optimize the launch and remove Git Staging by default

To make Zend IDE launch faster, simply deactivate all the modules that initialize at launch. Window -> Preferences -> General -> Startup and Shutdown And uncheck everything To prevent Zend IDE from using Git Staging, just remove it from the default launch. Window -> Preferences -> Team -> Git -> Committing And uncheck the first box "Use Staging View to commit instead of Commit Dialog" Version context This procedure describes the software and the environment available at the time of its pu...

Linux Ubuntu 14.04 LTS

Compile PHP 5.6 on Ubuntu 14.06 LTS

https://vpsineu.com/blog/how-to-build-and-install-php-5-6-9-from-source-on-ubuntu-14-04-vps/Installing the necessary libraries sudo apt-get install libfcgi-dev libfcgi0ldbl libjpeg62-dbg libmcrypt-dev libssl-dev libbz2-dev libjpeg-dev libfreetype6-dev libpng12-dev libxpm-dev libxml2-dev libpcre3-dev libbz2-dev libcurl4-openssl-dev libjpeg-dev libpng12-dev libxpm-dev libfreetype6-dev libmysqlclient-dev libgmp-dev libsasl2-dev libmhash-dev unixodbc-dev freetds-dev libpspell-dev libsnmp-dev libt...

Linux Ubuntu 16.04 LTS

Running PHP 7 and PHP 5.6 on Ubuntu 16.04 LTS

You have undoubtedly noticed, PHP7 is installed by default on Ubuntu 16.04 LTS.This can be problematic if you have an old WordPress project that uses the php mysql extension, which is no longer available under php7.The solution is to install an apache 2 configuration for both php 5.6 and php 7, and to enable one or the other as needed.We start by installing PHP 5.6 sudo add-apt-repository ppa:ondrej/php sudo apt-get update sudo apt-get install php7.0 php5.6 php5.6-mysql php-gettext php5.6-mbs...

Linux Ubuntu 14.04 LTS

Fix Skype 32-bit connection issues on 64-bit

I'm not sure if it's related, but when installing the 32-bit version of Skype on my 16.04LTS 64-bit system, Skype, which is only available in 32-bit, did not retrieve my ongoing conversations. Even worse! The discussion groups were invisible, and I couldn't see the messages being sent to me (I could hear the notifications on Skype phone, but not on desktop).To fix this, I found an interesting page that helped me out with two commands: https://community.skype.com/t5/Linux/Skype-group-chat-not-...

Linux Ubuntu 14.04 LTS

Edit Unity Launcher shortcuts

To edit a shortcut in Unity's quick launch bar, you need to edit the corresponding .desktop file in the menu created. To see the full list of available shortcuts: gsettings get com.canonical.Unity.Launcher favorites This returns an array with all the elements. tbourdin@tbourdin-ubuntu:~$ gsettings get com.canonical.Unity.Launcher favorites ['application://gnome-terminal.desktop', 'application://firefox.desktop', 'application://thunderbird.desktop', 'application://org.gnome.Nautilus.desktop', ...

Linux Ubuntu 14.04 LTS

Manage the default directories in Nautilus

Just edit the following file: ~/.config/user-dirs.dirs XDG_PUBLICSHARE_DIR="$HOME/Public" XDG_DOWNLOAD_DIR="$HOME/Downloads" XDG_MUSIC_DIR="$HOME/Music" XDG_VIDEOS_DIR="$HOME/Videos" XDG_DESKTOP_DIR="$HOME/Desktop" XDG_DOCUMENTS_DIR="$HOME/Documents" XDG_TEMPLATES_DIR="$HOME/Templates" XDG_PICTURES_DIR="$HOME/Pictures" Version context This procedure describes the software and the environment available at the time of its publication. The packages, interfaces, and repositories mentioned may...

Linux Ubuntu 14.04 LTS

Launch Viber (minimized) at startup

Launch the application preferences manager at startup: gnome-session-properties Then add a Viber item with the following command: Name: Viber Command: /opt/viber/Viber StartMinimized Comment: Commentaire par défaut. To launch Skype with a specific user (to launch it minimized, options->Start Skype minimized in the system tray): Name: Skype Command: /bin/sh -c "echo 'tbourdin.partitech xxxxx' | skype --pipelogin" Comment: Skype. Version context This procedure describes the softw...

Linux Ubuntu 16.04 LTS

Install Oracle's OpenConnect VPN on Ubuntu 16.04 LTS

Information retrieved at the address: http://tomtomtom.org/networkmanager-openconnect/It worked on the first try on my machine.We remove unusable packages:sudo apt-get purge network-manager-openconnect network-manager-openconnect-gnomeWe compile the dependencies:sudo apt-get build-dep network-manager-openconnectThe sources in apt must be active:sudo sed -i s/#deb-src/deb-src/g /etc/apt/sources.listWe install the new dependencies:sudo apt-get install libnm-devWe retrieve the source code:wget h...

Linux Ubuntu 14.04 LTS

Increase the size of a VirtualBox hard drive

To change the size of a disk, you need to clone it to vdi, increase the size, and thenVBoxManage clonehd "source.vmdk" "cloned.vdi" --format vdiVBoxManage modifyhd "cloned.vdi" --resize 51200VBoxManage clonehd "cloned.vdi" "resized.vmdk" --format vmdkTo change the UUID of the disk, simply run this command:VBoxManage internalcommands sethduuid disk2.vdi Version context This procedure describes the software and the environment available at the time of its publication. The packages, interface...

Linux Ubuntu 14.04 LTS

Ubuntu: enable numlock at startup

To enable the numeric keypad on startup, install numlockx and  create or edit the file sudo apt-get install numlockx puis créez ou éditez le fichier de conf suivant : #Pour 14.04 LTS sudo vi /usr/share/lightdm/lightdm.conf.d/60-lightdm-gtk-greeter.conf #Pour 16.04 LTS /usr/share/lightdm/lightdm.conf.d/50-unity-greeter.conf and add the following information: #Pour 14.04 LTS [SeatDefaults] greeter-setup-script=/usr/bin/numlockx on #Pour 16.04 LTS [Seat:*] greeter-...