Aller au contenu | Aller au menu | Aller à la recherche


dimanche, février 28 2021

freebox player lire ordinateur

Pour lire un fichier vidéo sur votre Freebox Révolution, afin de l'afficher sur votre téléviseur, vous pouvez :

  • le mettre sur un disque usb, branché à votre Freebox
  • depuis votre ordinateur utiliser le programme FreeMi UPnP Media Server

Lire la suite...

samedi, décembre 19 2020

Le serveur a envoyé une réponse passive avec une adresse non routable. Adresse remplacée par celle du serveur

Dans mon cas, le message "Le serveur a envoyé une réponse passive avec une adresse non routable. Adresse remplacée par celle du serveur" est lié

Lire la suite...

dimanche, juin 14 2020

find grep fichiers dont le contenu contient la chaine mais ne contenant pas le mot

Comment rechercher récursivement tous les fichiers contenant "le_mot_FOUND" mais qui ne contiennent pas "le_mot_MISSING" ?

Lire la suite...

grep contain and not contain

How to find all files containing "yyy" and also not containing "zzz" for each files matching "yyy" ? Resolved with 2 grep.

Lire la suite...

lundi, septembre 30 2019

https certificat signé gratuit avec Let's Encrypt

Il y a 10 ans, il était impossible d'avoir gratuitement un certificat SSL signé pour activer HTTPS sur votre site Web, mais la technologie a avancé dans le bon sens.

Lire la suite...

Git remote changer la branche par defaut

Changer ou actualiser la branche remote par défaut :

$ git remote set-head origin -a
origin/HEAD set to integration

Lire la suite...

Git déplacer dossier ou répertoire et conserver son historique

Pour déplacer un dossier ou un répertoire et conserver son historique git, il ne suffit pas de faire un cliquer glisser ou renommer.

Avec un simple move "mv", git considère que le dossier est supprimé et qu'un nouveau est créé. Ainsi tout l'historique est perdu.

mv anciendossier nouveaudossier
git add nouveaudossier
git remove anciendossier

Il faut donc faire un git move "git mv" :

git mv anciendossier nouveaudossier

Lire la suite...

samedi, septembre 28 2019

passer le mot de passe dans une commande remote ssh

Comment fournir automatiquement le mot de passe sans le saisir à un programme distant (via SSH) qui nécessite la saisie du mot de passe ?

Lire la suite...

Windows Git Bash sshpass

Vous n'avez pas su/voulu mettre en place l'authentification par clé RSA pour SSH (Secure SHell), vous pouvez alternativement injecter le mot de passe avec la commande sshpass.

Lire la suite...

jeudi, septembre 26 2019

Windows Git Bash Rsync

Ajouter la commande rsync (remote synchronization) à Git BASH à votre Windows.

Lire la suite...

Windows Git Bash stdout is not a tty

$ php -v > /d/output.txt
stdout is not a tty

Lire la suite...

Windows Git Bash

Notes sur Git Bash du Git SCM to Windows

Git BASH : Git for Windows provides a BASH emulation used to run Git from the command line. *NIX users should feel right at home, as the BASH emulation behaves just like the "git" command in LINUX and UNIX environments.

Lire la suite...

lundi, août 5 2019

git bash ssh config

Configurer ssh pour qu'il se connecte facilement à travers un alias (nom libre de serveur) et sans mot de passe (grâce à la clef RSA) à un serveur SSH.

Lire la suite...

SSH clef entre 2 serveurs

Comment s'authentifier sur un serveur depuis une clé SSH ?

Lire la suite...

dimanche, avril 23 2017

torrent rtorrent rutorrent

Gestion des .torrent avec rtorrent et rutorrent

Lire la suite...

vendredi, septembre 2 2016

Remplacer les caractères spéciaux et accentuées dans un script bash.sh

Afin de nommer correctement mes branches git, j'ai du remplacer les caractères spéciaux et accentuées à travers un script bash.sh sous le git bash windows.

Lire la suite...

samedi, avril 30 2016

PHP Thread Safe et Non-Thread Safe sur Windows et Linux

Quel version de thread binaire de PHP faut il installer ?

  • Non Thread Safe (NTS)
  • Thread Safe (TS)

Lire la suite...

dimanche, novembre 1 2015

Effacer et rendre illisible un disque dur sous Linux

Si vous souhaitez donner votre disque dur à quelqu’un ou ou le rendre lors de la résiliation dans le contexte de locations de serveur dédié tels que OVH/Kimsufi ou Online/Dédibox, supposément vous préférez effacer toutes trace de vos données personnelles.

Lire la suite...

mercredi, juillet 16 2014

Warsow

Warsow le jeu FPS gratuit à la Quake !

Lire la suite...

mardi, décembre 17 2013

PHP Thread

Voici comment faire des Thread en PHP tant sous Linux que sur Windows

Lire la suite...

- page 1 de 4