diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..f42392c4 --- /dev/null +++ b/.gitignore @@ -0,0 +1,65 @@ +# Fichiers compilés +*.o +*.class +*.pyc +*.pyo +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +*.cmxs + +# random garbage +*\# +*~ +*.bak +*.BAK +*.orig +*.swp + +# Garbage créé par le NFS +*.nfs* + +############################### +# Cr@ns specific ignore files # +############################### + +# c'est le .gitignore de darcs +.boring + +# On ne versionne pas les fiches de déconnexion +surveillance/fiche_deconnexion/* +# Mais on garde de quoi les générer +!/surveillance/fiche_deconnexion/deconnexion_p2p.tex +!/surveillance/fiche_deconnexion/deconnexion_upload.tex +!/surveillance/fiche_deconnexion/generate.py +!/surveillance/fiche_deconnexion/logo.eps +!/surveillance/fiche_deconnexion/logo.eps.old + +# Les clés wifi privées +gestion/clef-wifi* + +# old stuff +archive + +# Autres dépôts git +gestion/logreader +lc_ldap + +# Devrait être remplacé par l'intranet2 +intranet + +# rebuts +impression/inutiles + +# Management Information Bases pour le SNMP +mibs + +# Dossier de sources +src +# Dossiers de fichiers générés +var + +# etat_* de la connexion de secours +secours/etat_*