{"partition": "head_middle", "source_domain": "quick-tutoriel.com", "digest": "sha1:KZNUKEC5UF7OMLQQ67LHDQDXKIH4ETIK", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00039.parquet"}
commande linux
Comment calculer le temps d’exécution d’un script sous linux.
Pour les besoins d’un test je voulais connaitre la durée d’exécution d’un script. J’avais déjà dans l’idée de monter une usine à gaz ou encore de réinventer un bout de script, mais grâce à Google j’ai trouvé l’utilitaire qu’il me fallait. A découvrir d’urgence. [...]
0Des liens au hasard- Récupération de données.
Créer une clé USB bootable pour installer la distribution CentOS.
Enfin une solution pour démarrer son MAC sans réveiller toute la maison!
#138 [Astuce] Comment faire pour activer les cases à cocher dans Windows 7.
27 décembre 2009 - (Vu 9304)
Retrouver les réglages de Firefox sur tous vos PC avec FireSync.
23 avril 2011 - (Vu 13711)