A voir également:
- Google desktop et indexation de fichiers
- Dns google - Guide
- Google maps satellite - Guide
- Google earth - Télécharger - 3D
- Créer un compte google - Guide
- Google desktop - Télécharger - Personnalisation
2 réponses
Je m'autoréponds...
Cela est possible en utilisant un plugin prévu à cette fin précise. "Any Text File Indexer" (anciennement "Google desktop search plus") permet à son installation de spécifier toutes les extensions qui devront être considérée par GSD comme des fichiers texte pour leur indexation. Cela est utile par exemple pour l'indexation des fichiers source.
Le plugin peut être trouvé, parmi d'autres pour GDS, sur trivex.net
Voilà qui résout la question posée...
Cela est possible en utilisant un plugin prévu à cette fin précise. "Any Text File Indexer" (anciennement "Google desktop search plus") permet à son installation de spécifier toutes les extensions qui devront être considérée par GSD comme des fichiers texte pour leur indexation. Cela est utile par exemple pour l'indexation des fichiers source.
Le plugin peut être trouvé, parmi d'autres pour GDS, sur trivex.net
Voilà qui résout la question posée...