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 (…)
Bonjour,
Je suis à la recherche d'un assistant de navigation personnel, pour la voiture.
Idéalement, une machine qui marche bien, dont toutes les mises à jour sont gratuites (cartes et firmware).
Et s'il est possible de mettre sous GNU/Linux, si en plus en plus ça tourne avec du logiciel libre c'est encore plus cool.
Les Garmins c'est bien ? Une application smartphone peut être ?
Bien à vous :)
Bonjour,
Je cherche à nettoyer mon répertoire maildir, particulièrement mon arborescence gmail que j'ai sauvé avant de fermer mon compte. Il y a un répertoire "tous les messages" qui comme son nom l'indique contiens a priori que des doublons. A priori…
J'aimerais savoir s'il existe des mails qui ne sont que dans ce répertoire pour une obscure raison.
Est-ce que vous savez un si un tel outil existe ? Un qui ressemblerait à foo "tous_messages \ (recus \/ envoyes)" et qui (…)
Bonjour,
Je voulais juste vous dire que j'avais migré mon serveur jabber d'ejabberd vers prosody et je le ne regrette pas du tout. C'est un tout petit serveur à avec plus ou moins un seul utilisateur.
Je ne suis pas adminsys, j'ai découvers la configuration de ce genre de machine ne le faisant pour moi, et l'une de mes plus grandes craintes est d'écrire une connerie dans mes fichiers de conf qui introduira une grosse faille. Bref !
Avant j'avais ejabberd (…)
Bonjour à tous,
J'ai un problème avec xmonad, présentement, la clé qui permet de le quitter (celle proposer dans le fichier de conf donné en exemple sur le site officiel) est plutôt brutale : ((modm .|. shiftMask, xK_q ), io (exitWith ExitSuccess)), exitWith se comportant basiquement comme le exit de C.
Les processus fils d'xmonad sont ensuite massacrés je ne sais comment, ce qui me pose problème c'est surtout firefox qui redémarre ensuite comme s'il avait été tué à (…)
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. (…)
Bonjour, je me demandais, concernant l'impossibilité d'avoir une démonstration de la consistance d'une théorie T dans T.
Est-ce qu'il y a besoin d'un raisonnement aussi complexe ? Ou bien il y a quelque chose qui m'échappe. Dans un système inconsistant il est possible de montrer le faux, et une fois le faux montré, on peux montrer n'importe quoi, comme la consistance par exemple. Donc pour toute théorie T, « T est consistant » est vrai.
Quand on dit "la cohérence est indémontrable (…)
Bonjour à tous,
Il m'arrive une chose étrange, par défaut, la livebox distribue des adresses 192.168.1.0/24 via DHCP. Par erreur, j'ai fais un ping sur 192.168.0.1, je m'attendais à avoir "host unreacheable" et ben non ! Voyez plutôt :
$ ping 192.168.0.10
PING 192.168.0.10 (192.168.0.10) 56(84) bytes of data.
From 80.10.125.137 icmp_seq=1 Packet filtered
From 80.10.125.137 icmp_seq=2 Packet filtered
From 80.10.125.137 icmp_seq=5 Packet filtered
From 80.10.125.137 icmp_seq=6 Packet filtered
^C
Il y a d'autres adresses en 192.168.0.x qui font (…)
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 (…)
Bonjour à tous,
Depuis deux ou trois ans, je rencontre régulièrement un bug avec bash, j'ai jamais fais de rapport de bug parce que je n'ai jamais réussi à le décrire, et parce qu'il est tellement énorme et courant que j'étais sûr que c'était vain, probablement bêtement.
Souvent (plusieurs fois par semaine) alors que j'édite une longue commande, le terminal ne revient pas à la ligne, je commence à taper une ligne, puis il continue en écrasant le début de (…)
Bonjour,
J'ai un serveur derrière une freebox v5 avec un IP dynamique et qui utilise le service no-ip.org pour le dns. Chaque jour l'IP change, et ça met parfois plusieurs longues minutes pour que le DNS soit mis à jour. J'ai pas du envie de flooder no-ip en mettant l'ip à jour toutes les 30 secondes.
Donc j'aimerais savoir si il y a un moyen pour détecter le changement d'IP efficacement et sans envoyer si possible 15000 requête pour ça sur (…)
Bonjour, voila ça fait plusieurs fois que je me pose cette question, que je fais quelques test sans rien trouver de concluant.
Lorsque vous avez à des calculs relativement simples à faire sur un octet, une fonction pure uint8_t (uint8_t); (qui ne fait pas plus de 20 instructions).
Quelle solution adopter pour la performance dans le cas général :
Bonjour à tous,
J'écris ici car il y a quelque chose qui m'échappe totalement.
en adressage absolu, c'est pas compliqué.
movl data,%eax
en simili C
eax = *data
en adressage indexé non plus
movl 42(%esi),%eax
eax = *(esi + 42)
mais en adressage relatif, je suis perdu
movl data(%rip),%eax
#du code
#ici aussi
movl %eax,data(%rip)
La même instruction est utilisée, pour référencer le même endroit, (…)