Le code suivant est celui que j'ai, mais il ne me permet pas de choisir l'extension sous laquelle je veux l'enregistrer. Comment puis-je enregistrer le fichier en tant que ".plist" ?
do shell script "echo '{ Filter = { Bundles = ( \"'" & proj & "'\" ); }; }' >> ~/Desktop/gametocheat/" & proj & " "