bootstrap_fonts_woff:
inputs:
- '%kernel.root_dir%/../vendor/twitter/bootstrap/fonts/glyphicons-halflings-regular.woff'
output: 'fonts/glyphicons-halflings-regular.woff'
bootstrap_fonts_ttf:
inputs:
- '%kernel.root_dir%/../vendor/twitter/bootstrap/fonts/glyphicons-halflings-regular.ttf'
output: 'fonts/glyphicons-halflings-regular.ttf'
bootstrap_fonts_svg:
inputs:
- '%kernel.root_dir%/../vendor/twitter/bootstrap/fonts/glyphicons-halflings-regular.svg'
output: 'fonts/glyphicons-halflings-regular.svg'
bootstrap_fonts_eot:
inputs:
- '%kernel.root_dir%/../vendor/twitter/bootstrap/fonts/glyphicons-halflings-regular.eot'
output: 'fonts/glyphicons-halflings-regular.eot'

sudo update-alternatives --config x-cursor-theme

How to mount an ISO file in ubuntu?

Maybe, instead of installing additional software, you can use what the system has to this end:

1. Create a directory to serve as the mount location:

   sudo mkdir /media/iso
   

2. Mount the ISO in the target directory:

   sudo mount -o loop path/to/iso/file/YOUR_ISO_FILE.ISO /media/iso
   

3. Unmount the ISO:

   sudo umount /media/iso
   

On your desktop will appear the mounted ISO.

How to Install PHP 5.6 or PHP 7.1 on Ubuntu 16.04, 14.04 or 12.04 using PPA

https://tecadmin.net/install-php5-on-ubuntu/#

ESLINT

http://eslint.org/
https://www.sitepoint.com/comparison-javascript-linting-tools/

how to use ssh to run shell script on a remote machine?

If Machine A is a Windows box, you can use Plink (part of PuTTY) with the -m parameter, and it will execute the local script on the remote server.

plink root@MachineB -m local_script.sh

If Machine A is a Unix-based system, you can use:

ssh root@MachineB 'bash -s' < local_script.sh

You shouldn't have to copy the script to the remote server to run it.

How to run composer as www-data

sudo -u www-data /usr/local/bin/composer install --no-ansi --no-dev --no-interaction --no-progress --no-scripts --optimize-autoloader