Informatique

6 posts

Changer upload_file_size sous php7

Augmenter la taille maximum d’upload sous debian/php7 Il faut commencer par vérifier quel est le fichier php.ini qui est utilisé. Une manière possible est d’ouvrir une page sur votre serveur contenant :

Chercher alors la ligne donnant l’emplacement du fichier php.ini, par exemple sur mon serveur c’est :

[…]

TeXoMaker

Publicité gratuite pour un logiciel que je développe : TeXoMaker. Un logiciel de gestion d’exercices LaTeX qui permet de les classer en utilisant des métadonnées, et de créer de belles feuilles d’exercices. Un logiciel libre dont le code source est hébergé sur Github : TeXoMaker. On y trouvera également un […]

Packaging de TeXoMaker sous Ubuntu

Installer les paquets nécessaires

Créer l’environnement chroot

ou pour i386 :

Cela crée un dossier pbuilder dans le home. Dans celui-ci on trouve deux dossiers : trusty_result et trusty-i386_result où arriveront les compilations effectuées avec pbuilder-dist. Créer le paquet source .dsc Exemples avec la version 3.0.3 de […]

Récupérer les pdf d’un site

Supposons que l’on veuille récupérer tous les fichiers pdf en lien sur une page web. Il existe un outil magique pour ce genre d’opérations : wget. La commande est très simple :

Remarque : sous linux, wget est installé par défaut. Sous Mac OS X il faut l’installer soit […]

Résoudre un problème lié à libGL avec Qt5 sous Ubuntu 14.10

À la première tentative de compilation d’un programme avec Qt5 sous Ubuntu 14.10, j’obtenais une erreur liée à la librairie libGL :

Après quelques recherches, il semble que la librairie cherchée provienne du paquet libglu1-mesa-dev. Ce dernier était installé par défaut sur Ubuntu, mais Qt5 n’allait pas chercher dans […]