Forum Programmation.autre Datalog

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
2
30
juil.
2014

Bonjour,
suite au commentaire parlant de racket, j'ai essayé. Je suis tombé sur le support de datalog un langage à la prolog.

J'ai donc fait l'exemple de la famille classique. J'ai appelé le papa dad, la mère mom, et les enfants son[123]. Quand je cherche à connaitre les frères de son3, j'obtiens son1 et son3 ! Je voudrais éliminer le dernier cas en ajoutant quelque chose du genre : brother(G, G) est faux ou en ajoutant (…)

Forum général.général Erreur serveur Nextcloud

Posté par  . Licence CC By‑SA.
Étiquettes :
2
2
déc.
2022

Bonjour,
J’ai un problème bizarre sur mon serveur nextcloud. En effet, lorsque je me loggue, j'obtiens une erreur 504, alors que les autres utilisateurs n’ont (edit: /s/non/n’ont/) pas de soucis.

Je n'ai rien trouvé dans les logs système. Je ne sais pas vraiment par où commencer à chercher.

Le serveur est en version : 22.2.10.

Je ne sais pas trop où regarder… j'ai accès à un compte admin en web, et en ssh.

occ app.list
Enabled:
  - accessibility: 1.8.0
  -
(…)

Forum Linux.général [nixos] imprimante brother hL-4150 CDN

Posté par  . Licence CC By‑SA.
Étiquettes :
1
12
avr.
2023

Bonjour,

J'ai acheté un ordinateur à ma femme, après une tentative d'installation de debian, puis le noyau backport histoire d'avoir le wifi, je n'avais pas de son.

Étant en train de tester avec succès nixos sur mon propre PC, je me suis dit que tenter une installation sur un protable pourrait être bien.

Tout le hardware à fonctionné du premier coup. Mon seul soucis, c'est l'imprimante… le truc vital pour mon instit professeur des écoles de femme ;-)

L'installation de (…)

Forum Programmation.shell Détecter des pipes à travers ssh.

Posté par  .
Étiquettes : aucune
1
9
nov.
2011

Bonjour,
J’ai écris ceci pour détecter si mon script est utilisé dans un terminal ou via un pipe.

#!/bin/bash
echo -n "STDIN: "; [ -t 0 ] && echo TERM || echo PIPE
echo -n "STDOUT:: "; [ -t 1 ] && echo TERM || echo PIPE
echo -n "STDERR: "; [ -t 2 ] && echo TERM || echo PIPE

Utilisation en local :
$ ./term.sh
STDIN: TERM
STDOUT:: TERM
STDERR: TERM
$ echo toto | ./term.sh
(…)

Forum Programmation.python Base de donnée en RAM

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
30
avr.
2019

Bonjour,
Pour un banc de test, j’ai besoin de stocker et de partager à plusieurs process les états complets et cohérent de mon système simulé.
Pour cela, j’avais prévu d’utiliser une base de donnée transactionnelle en RAM avec un binding python.

Il y a trois mois, j’avais fait une recherche et trouvé un certain nombre de chose… il faut que je m’y re-penche et je n’ai pas sauvé mes bookmarks :'(

J’ai donc pensé à vous, pour m’aider à (re)trouver (…)

Forum général.cherche-logiciel Application portable sous linux

Posté par  .
Étiquettes :
1
1
mar.
2011

Bonjour,
j’ai vu passer une nouvelle à propos d’un script qui récupère sur une installation correcte d’un logiciel, suis l’ensemble des lib nécessaires. Puis fabrique une arborescence avec tout ce qui va bien pour exécuter un logiciel sans qu’il soit dépendant de la distribution ni les versions de lib installé.
Seulement, ma tête de linotte ne retrouve pas le lien, et google refuse obstinément de devenir mon ami ! L’un de vous aurait-il l’amabilité de me réorienter ?

Forum Programmation.c++ std::bind: réduire les arguments

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
13
déc.
2019

Bonjour,

J’ai un système d’interface avec une fonction contenant 2 arguments, je voudrais envoyer vers une fonction avec 1 seul argument. Je sais le faire avec une lambda, mais y a t’il une possibilité avec std::bind. Je prends l’exemple pour add et mult.

#include <iostream>
#include <functional>

int record_callback(std::function<int(int,int)> callback,int a, int b)
{
  // Real code here.
  return callback(a
(…)

Forum général.hors-sujets Avis pour SOSAV

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
10
avr.
2018

Bonjour,
Ayant un stick de la mablette de la WiiU HS (Un calibrage ferai l’affaire, mais semble impossible). Je souhaite le réparer. J’ai trouvé un tuto complet sur SOSav. On peut acheter les pièces en plus du tuto. Sur internet, les avis ont l’air plutôt positif.

Mais toi, bricoleur libriste… que penses-tu de ce site qui permet de réparer une console privatrice ?

Forum Linux.debian/ubuntu Revenir sur le choix d'un backport

Posté par  . Licence CC By‑SA.
Étiquettes :
1
5
fév.
2018

Salut,

À un moment, j’ai choisi d’utiliser le noyau « backport » sur debian stretch… je ne me souviens plus de pourquoi ce choix.
Néanmoins, aujourd’hui ce choix me pose un problème de compatibilité avec le driver propriétaire nvivia.

Je vois deux solutions :

  • Passer le driver nvidia sur les backport sans doute la solution la plus simple.
  • Revenir sur le noyaux standard.

Ma question, est pour la deuxième solution, comment une fois qu’on a installer un paquet en provenance des backports (…)

Forum général.cherche-logiciel Incruster un compteur de vitesse sur une vidéo

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
25
août
2017

Bonjour,
Je cherche un moyen pour incruster un compteur de vitesse sur des vidéos de ski. Pour cela, je récupère mes traces avec skiapp pro.

Ensuite, je voudrais analyser les traces pour en déduire la vitesse instantanée, et en faire une vidéo incrustable sur la vidéo filmé avec la GoPro.

Dans les applications non libre il y a dashware. Je cherche donc une application libre du même acabi.
S’il faut le faire à la main : trace --> fichier (…)

Forum général.cherche-matériel Recherche nouvelle carte graphique

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
30
avr.
2013

Salut,
Ma Geforce GT8800 (achetée le 16 mai 2008 à 199€) vient de rendre l'âme… en tous-cas, tout le laisse supposé. Même laisser l'ordi tourner seul, au bout de quelques minutes j'ai une bande noire qui apparait en bas de l'écran, et l'ordi ne permet plus de rien faire :-(
À une époque, j'avais mis beaucoup d'espoir dans ATI pour la libération des spec. Hélas, j'ai déchanté.
J'ai également vieilli, et je ne suis plus tous les forums hardware pour (…)

Forum général.cherche-matériel Nouvelle imprimante

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
28
juin
2013

Bonjour,
la vieille HP 722c de la maison vient de mourir après quelques années de bons et loyaux services.
Je recherche donc une imprimante couleur, recto/verso automatique avec un port RJ45…

Le choix entre laser et jet d’encre se pose.

J’ai repéré : Une laser HP m451dn, Une brother HL-4150CDN et en jet d’encre : OfficeJet Pro 8100 ou HP Officejet Pro 251dw.

J’émets quelques réserves sur les deux types d’imprimantes.

Pour les jets d’encre, même si globalement, la qualité, (…)

Forum général.général [Résolu] Problème NextCloud nginx

Posté par  . Licence CC By‑SA.
Étiquettes :
1
19
mar.
2021

Salut,
J’ai une instance de nextcloud depuis quelques temps, voir un temps certains. J’ai commencé sur Jessie.
Mais j’ai eu un problème de version de php5 qui nécessité fpm. Donc j’avais suivi un tuto avec lequel j’ai installé des .deb pour ça.
Au final mon instance marchait bien. Je voulais passer sur une version plus récente, celle-ci me réclame php 7. J’ai mis à jour ma distribution, mais nginx continue à utiliser la version 5 installée à base de dpkg (…)

Forum général.général VM ware : bloquer la résolution.

Posté par  . Licence CC By‑SA.
Étiquettes :
1
3
fév.
2023

Bonjour,

Nous utilisons des VM distantes pour des tests d’UI. Et pour certains tests, nous devons comparer des morceaux d’image. Pour cela, la VM doit avoir la résolution 1920×1200.

Les VMWare tools sont installé, et donc, si on change la taille de la fenêtre, ça change automatiquement la résolution.

J’ai trouvé la commande VMWareResolutionSet qui permet de remettre la résolution en ligne de commande de manière simple. Mais je voudrais pouvoir dire à l’OS invité de ne pas changer de (…)

Forum Linux.gentoo [Résolu] Bizarrerie entre clock hardware et clock système…

Posté par  . Licence CC By‑SA.
Étiquettes :
1
5
oct.
2015

Bonjour,

J’ai un truc bizarre sur mon horloge, depuis environ une semaine mon PC avance d’une demi heure.

Mon horloge est réglée sur UTC pour ne pas gérer les changements d’heures. Je me suis dit que mon horloge hardware était mauvaise. Direction BIOS, et bien non ! elle est a l’heure UTC attendue. :-(

Utilisant principalement la mise en veille prolongé, j’ai redémarrer le PC de manière standard… aucun changement !

Les log de ntp me semble correct ! Bref, je ne sais (…)