Forum Linux.redhat Concilier Nilfs et SELinux [F16]

Posté par  .
Étiquettes :
0
8
jan.
2012

Bonjour tout le monde,

Je me demandais s'il y avait une méthode élégante pour concilier SELinux et Nilfs ?
Nilfs ne gérant pas SELinux, SELinux se venge en refusant tout ce qui as à voir avec la partition Nilfs. Je ne connais pratiquement rien à SELinux, je sais juste l'arrêter et me rendre compte quand il merde.

Merci beaucoup

PS : La présence de SELinux est-elle justifiée sur une machine de bureau sans logiciel privateur, sans accès publique, ou juste ssh sur (…)

Forum Programmation.autre gdb dans emacs

Posté par  .
Étiquettes : aucune
0
15
sept.
2012

Bonjour à tous,

L'intégration de gdb dans emacs est plutôt chouette, cependant il y a deux détails qui me gênent concernant l'affichage des arguments des fonctions.

Dans emacs 23, le buffer stack affiche les arguments des fonctions, mais pas dans emacs 24. Est-ce qu'il est possible de retrouver ce comportement ? Le manuel est plutôt laconique. Il y a une option pour l'afficher ou non dans le buffer threads.

deux bouts du buffer stack

dans emacs 23 :
0  main
(…)

Forum Programmation.autre [OCaml] Problème de type avec les modules

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
23
fév.
2013

Bonjour à tous, j’apprends OCaml et je galère un peu avec les modules et les interfaces, par exemple, voyez ce petit bout de code :

module type Ai =
  sig
    type a
    type b
    val f : b -> a
  end

module A = functor (S:Set.S) ->
  struct
    type a = S.t (* le champ t d'un module Set est le type de l'ensemble, cf http://caml.inria.fr/pub/docs/manual-ocaml-312/libref/Set.html *)
    type b = S.
(…)