.PP Extension de fichier
Fichier d’esquisse Pocket Physics
| Développeur | Pocket Physics |
| Popularité |
3,4 | 25 Votes |
Qu'est-ce qu'un fichier PP ?
Fichier de données créé par Pocket Physics, une application amateur pour Nintendo DS utilisée pour créer et simuler des scénarios simples de physique ; il stocke une esquisse comprenant des objets dessinés par l’utilisateur qui peuvent être animés selon des contraintes physiques.
Plus d'informations
Les fichiers PP sont enregistrés au format XML et peuvent être consultés avec un éditeur de texte. Ils sont enregistrés dans le répertoire /data/pocketphysics/sketches/ sur une carte Nintendo DS.
REMARQUE : Pocket Physics est distribué sous forme de fichier .NDS et s’exécute sur une Nintendo DS.
Programmes qui ouvrent ou référencent les fichiers PP
Manifeste Puppet
| Développeur | Puppet |
| Popularité |
2,7 | 3 Votes |
Un fichier PP est un manifeste utilisé par le serveur de configuration Puppet. Il contient une instruction case qui définit le nom d’un programme et répertorie les ressources utilisées pour installer et exécuter ce programme sur le serveur Puppet. Les fichiers PP peuvent contenir une logique conditionnelle et déclarer des ressources pour plusieurs programmes.
Plus d'informations
Puppet est un outil qui aide les administrateurs de serveurs à gérer et à automatiser la configuration des serveurs. La plateforme Puppet utilise plusieurs paquets pour exécuter des programmes de configuration et de gestion de serveurs écrits avec le langage de programmation Puppet. Ces programmes sont constitués de ressources et de classes déclarées et exécutées à l’aide d’un fichier manifeste PP.
Chaque fichier PP comprend un ou plusieurs noms de services, une liste des paquets que le fichier sert à installer sur le serveur Puppet, une liste des services que le manifeste sert à exécuter et un chemin vers un fichier de configuration .CONF. Le serveur Puppet traite les fichiers PP lors de la création de catalogues, qui servent à appliquer les modifications nécessaires à un serveur géré.
Comment ouvrir un fichier PP
Vous pouvez ouvrir et modifier un fichier PP dans n’importe quel éditeur de texte ou de code source. Les éditeurs de code source, tels que Microsoft Visual Studio Code et GitHub Atom, proposent des fonctionnalités utiles qui facilitent la lecture et la modification des fichiers PP.
