Bonjour à tous,
En ce moment je cherche un OS capable de me soustraire à google.
J'ai trouvé SailFishOS mais qui n'est pas très stable pour le moment.
Je me suis tourné vers l'OS /e/ mais je ne vois pas en terme informatique ce qui te permet de te soustraire de google.
Déjà, c'est un fork de LineageOS et puis il y a des applis google et microG services Core. On a la possibilité de désactiver les services google mais (…)
Bonjour à tous
Récemment, j'ai décidé de m'intéresser un peu à la théorie des types et de la démonstration. Quelques vieilles dépêches y sont pour un peu, et le sujet m'avait toujours un peu intrigué.
Après quelques recherches, j'ai trouvé et commencé l'excellent Logic Foundations.
J'en suis arrivé lentement mais sûrement au chapitre sur les propositions inductives (IndProp).
Et là j'ai un petit soucis…
Lemma le_trans : forall m n o, m <= n -> n <= oBonjour, je suis à la recherche d'un outil (logiciel, librairie) pour extraire les données de factures pour import dans Dolibarr. Je cherche une solution qui n'oblige pas à déterminer des zones de traitement OCR. Je vous remercie de votre aide sur ce sujet. Hélène
Bonjour la communauté !
J'aurai besoin d'une petite précisions concernant l'ordre d’exécution des commandes du shell. Je sais que l'ordre d’exécution est celui-ci :
- alias
- fonction
- internes
- externes
Mais existerait-il une démarche expérimentale permettant de prouver l'ordre de priorité pour les commandes internes et externes ?
merci a vous !
Bonjour,
J'ai installé, voilà plus d'un an, LineageOS sur un Xperia Z5C. Tout fonctionne très bien, mais depuis quelques temps, il semble qu'il y ait une "rémanence" sur l'écran (la barre de recherche du moteur de recherche, DDG, en fait).
Ça m'étonne pas mal et…je me demandais si c'était "normal", s'il y avait des solutions, etc. ?
Merci pour votre attention ! :)
J'aimerai exploiter les données figurants sur cette page
http://www.ac-lyon.fr/dsden69/cid94411/mouvement.html
Mais je me pose la question de la licence des ces données ?
Puis-je en faire une utilisation commerciale ?
Ne voyant aucune information dessus, la logique semblerai de dire que par défaut je n'en ai pas le droit mais vu que ceci est issue d'un organisme de l'éducation nationale je me demande si il n'existe pas une exception (données publiques).
Merci d'avance à ceux qui seront me répondre.
Bonjour,
Dans mon entreprise nous sommes passés à une authentification double. Lorsque nous nous connectons à notre service central pour la première fois, il nous faut un code temporaire avec une application compatible et il est à renouveler tous les mois.
De ce fait, on m'a demandé d'installer une application compatible pour Android. J'ai utilisé Google Auth. Mais à terme je souhaiterais passer à LineageOS (ou autre alternative 100% libre) avec plus aucun logiciel non libre. De ce fait, je (…)
Salut à tous,
Je fais partie d'un groupe de musique, dont un des éléments principal est un looper. Cependant, celui-ci (une boss rc300) possède quelques bugs. Nous en avons une utilisation assez particulière et après avoir essayé d'autres pédales nous n'en trouvons aucune qui nous correspond vraiment (problèmes de synchro midi, comportement de lancement des boucles qui ne nous correspond pas).
Et j'ai vu passer sur linuxfr trois liens postés par yazgoo qui m'ont donné une idée (…)
Vous ne souhaitez pas travailler dans un grand groupe, et encore moins dans une Start-Up ? Tant mieux ! L’association CINEMASCOP vous propose un poste d’ingénieur en informatique dans le domaine du cinéma et du logiciel libre.
CINEMASCOP est une association nationale d'établissements cinématographiques qui intervient dans les rapports entre exploitants et distributeurs concernant l’équipement numérique des salles de cinéma.
Depuis sa création en 2011, CINEMASCOP a mis en place une mutualisation des contributions financières des (…)
BONJOUR a tous je suis sur debian 10 (32) sur un optliplex 740 l'ensemble est bien fait par contre mon écran se verrouille assez rapidement entre 2 sessions .j'ai pourtant désactivé la fonction verrouillage automatique de l'écran çà ne fonctionne pas il faut que j'éteigne l'ordinateur et le rallume je trouve cela gênant .si l'on peut m'aider merci d'avance .cordialement.
Bonjour,
J'ai un Linux Mint 19.2 Tina 64bit
4.15.5-65-generic
Cinnamon 4.2.4
Mon imprimante Brother DCP-1610,
n'imprime pas alors que l'impression est confirmer ?
Après plusieurs tentatives de réinstaller l'imprimante, Mint me recommande la Brother DCP-1510 et mettre URI= socket://192.168.0.184 (Ip statique de l'imprimante) ce ne fonctionne toujours pas ?
Avez-vous une idée…
Merci de l'attention portée à ma cause…
G,
Je suis un debutant sur kali…
En effet quand je saisi la commande
$ apt-get install vlc
J'obtiens ce msg sur le flux de sortie
E: impossible de trouver le paquet vlc #
Svp besoin de votre aide afin de pouvoir jouir des fonctionnalites de Vlc