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 [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.
(…)

Forum Linux.général RaspberryPi : no space left on device, carte morte ?

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
25
déc.
2014

Bonjour à tous,

J'ai un raspberry pi qui sert de serveur, sur la carte SD il n'y a que le /boot de 50Mo, et le reste est sur un disque dur USB… Et là une mise à jour voulait écrire sur le /boot et "no space left on device", alors que pas du tout, il en reste plein. En fait, d'après ce que j'ai compris, il y a un secteur défectueux ou je sais pas quoi, impossible de faire un (…)