Cmd #1 – Recherche fichiers par extension

find .  -name '*.orig' -print

Permet de trouver tous les fichiers portant l’extension .orig dans le répertoire courant et dans tous les sous-répertoires et les affiche sur la sortie standard.

Pour supprimer directement les fichiers trouvés, on pourra utiliser:

find .  -name '*.orig' -exec rm -f {} ';'

Monter un emplacement distant dans Gnome 3

Besoin de copier des fichiers vers un serveur distant? Pas envie de passer par Filezilla? Il existe un moyen de monter un emplacement distant pour y accéder directement dans l’interface graphique: sshfs.

Sans plus attendre, voilà la commande:

sshfs user@IPServeur:/Répertoire/Distant ~/Emplacement/Local

Cette commande a donc pour effet de rendre disponible le contenu du répertoire nommé ici Distant et situer à l’emplacement /Répertoire/Distant sur le serveur. Le contenu du répertoire sera donc accessible dans le répertoire local spécifié, ici ~/Emplacement/Local. Il me semble qu’il est bon de se connecter avec un utilisateur ayant un minimum de droit sur le dossier que l’on souhaite monter; à vérifier cependant.

Pour démonter le répertoire:

fusermount -u ~/Emplacement/Local

Cette solution fonctionne pour moi sous Arch Linux avec l’interface Gnome 3. Je pense que cela doit être tout aussi valable avec d’autres environnements de bureau.

Configuration réseau (Bis)

Réédition d’un article concernant la configuration réseau sous GNU/Linux; pratique notamment pour la configuration d’une ip statique sur une machine. Le fichier /etc/network/interfaces permet de configurer les cartes réseau de manière permanente.

Par exemple :

auto lo
iface lo inet loopback

auto eth0
iface eth0 inet static
  address 192.168.1.2
  netmask 255.255.255.0
  gateway 192.168.1.1

Pour configurer l’adresse des serveurs DNS, on modifie le fichier /etc/resolv.conf en y ajoutant par exemple nameserver 8.8.8.8 pour les DNS de google.

[ArchLinux] Configurer le réseau

Directement tirées du wiki officiel, voici les commandes qui me sont très utiles pour configurer le réseau.

Filaire:

sudo ifconfig eth0 up
sudo ifconfig eth0 netmask 255.255.255.0 broadcast 192.168.255.255 192.168.102.1
sudo route add default gw 192.168.102.254

Wifi:

wifi-menu

NetworkManager:

sudo systemctl enable NetworkManager

Permet de lancer NetworkManager pour qu’il soit présent après le login.

Git: Les commandes de base

Passons en revue les commandes basiques dont vous aurez besoin dès les premiers instants de votre utilisation de Git.

Pour créer un nouveau dépôt, il suffit de créer un dossier pour celui-ci puis d’effectuer un git init en se plaçant dans le dossier.
A noter que dans notre cas, l’utilisation de Gitolite implique que le dépôt doit être créer par un administrateur en modifiant conf/gitolite.conf.
Pour cloner un dépôt existant, c’est-à-dire, le récupérer sur votre machine:
git clone http://github.com/path/depository.git
Par exemple, ou avec ssh:// selon le protocole.

Pour connaître les fichiers modifiés récemment:
git status

Pour voir ce qui a été changé:
git diff
Il est possible de spécifier un fichier après diff.

Pour ajouter des fichiers à prendre en compte lors du commit:
git add fichier1 fichier2

Pour faire un commit, ie sauvegarder vos changements:
git commit
git commit -a pour inclure tous les fichiers listés dans git status.
git commit fichier1 fichier2 pour indiquer précisément quels fichiers inclure.

Visionner les logs:
git log
Options utiles: -p ou –stat

Modifier le dernier message de commit:
git commit –amend

Annuler le dernier commit:
git reset HEAD^ (Les fichiers restent modifiés)
git reset –hard HEAD^ (Les changements effectués dans les fichiers seront perdus)

Restaurer un fichier à son état du dernier commit:
git checkout fichier

Récupérer les nouveautés présentes sur le serveur:
git pull

Envoyer ses propres modifications au serveur:
git push

Annulé un commit publié:
git revert idDuCommit

Les branches

Quand faire une branche:
« Créez une branche pour toute modification que vous vous apprêtez à faire et qui risque d’être un peu longue. »

Voir les branches:
git branch
On trouve une étoile devant la branche où on se trouve.

Créer une branche:
git branch nomBranche

Se placer dans une branche:
git checkout nomBranche

Fusionner une branche dans la branche où vous vous trouvez:
git merge nomBranche

Scier/Supprimer une branche:
git branch -d nomBranche

Pour changer de branche sans avoir à faire un commit avant:
git stash
A pour effet de mettre de côté les fichiers en cours de modification.
On peut alors changer de branche, faire des modifs et revenir dans la branche précédente où on retrouve son travail avec:
git stash apply

Autres fonctionnalités:

Tagger un commit:
git tag nomTag idCommit

Appliquer les tags:
git push -tags

Supprimer un tag:
git tag -d nomTag

Chercher les fichiers contenant un mot:
git grep « mot »

Pour obtenir également le numéro de ligne:
git grep -n « mot »

Je crois qu’on a fait le tour. Pour le reste, direction le manuel ou la doc en ligne ;).
ProGit Version Française.