Lien Support du Kernel officiel dans Android

Bonjour,
Ce weekend j'ai commencé à regarder pour faire une machine virtuelle (dans le but de la distribuer). Le seul besoin de cette machine virtuelle est de permettre d'utiliser un programme écrit en python (>= 3.7) et nécessite un serveur graphique pour afficher un terminal.
Tout ce qui n'es pas nécessaire pour :
Peut être absent de la machine virtuelle.
Au départ je me suis dit, bah (…)
Home-manager est un outil qui permet de gérer son environnement utilisateur : environnement de bureau, thème de fenêtre, thème d'icones, logiciels, paramètres des logiciels, services utilisateur, "dot files"…
Home-manager est prévu pour fonctionner sur la distribution linux NixOS et utilise le gestionnaire de paquets Nix.
code source - vidéo youtube - vidéo peertube
Pour faire simple, le but de home-manager est de fournir l'équivalent du fichier /etc/nixos/configuration.nix
mais pour l'environnement utilisateur (au lieu de l'environnement système) (…)
Le gestionnaire de paquets Nix est hautement personnalisable. Pour cela, il reprend le principe de la composition de fonctions : un paquet est en fait une fonction qui indique comment ajouter ou modifier un logiciel à partir d'un environnement logiciel d'entrée.
Ainsi, la logithèque Nix n'est qu'un ensemble de paquets qui peuvent être appliqués pour construire l'environnement logiciel final. Les overlays permettent de modifier les paquets de cet ensemble ou d'en ajouter de nouveaux.
vidéo youtube - vidéo peertube
Cachix permet de gérer facilement un cache personnel de paquets binaires. Concrètement, il s'agit d'un service de cloud et d'un logiciel client, le tout basé sur le gestionnaire de paquets Nix. Cachix propose différentes offres, dont une offre gratuite de 10 Go de stockage en accès public.
Quand on utilise la logithèque officielle de Nix, on télécharge des paquets binaires déjà compilés. Nix permet très facilement d'empaqueter des programmes/bibliothèques personnels ou de modifier les paquets officiels. Mais dans (…)
Numericatous est un petit projet, lancé en auto‐entrepreneur il y a environ un mois. Le but est d’aider, initier et accompagner les citoyens dans leur découverte et leur appropriation de l’outil numérique. Bien évidemment, tout cela se fait avec des systèmes, logiciels et services libres et éthiques.
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 !
Hello,
Cela fait 6 jours que je me casse la tête et que je n'arrive pas à gérer deux comptes gitlab.com différents avec deux clés publiques différentes sur le même compte Linux.
Il s'agit bien de deux compte gitlab.com et non de "private gitlab server".
J'ai créé deux pairs de clés dans ~/.ssh et sur chacun des comptes gitlab j'ai poussé la clé publique correspondante.
Cependant lorsque je veux faire un git clone d'un projet sur mon compte gitlab pro (…)
J'ai trouvé ça tellement énorme que je vais vous relater l'aventure.
Un collègue a un laptop sous Linux Mint (ubuntu based il me semble) avec le bureau Mate. Aucune idée du desktop Manager. Tout à l'heure ont s´était posé ensemble dans une salle pour bosser sur un sujet commun [1]. On termine, il rabat l´écran de son laptop, qui vérouille la session, jusque là tout va bien. Arrivé à sa place de travail il redéploie l´écran, voit la mire l'invitant (…)