904 private links
Dans ce retour d'expérience, je partagerai mes impressions et mes observations sur l'utilisation de Kubernetes dans différents contextes et je vous donnerai mon point de vue sur les avantages et les défis de cet outil passionnant.
Il existe des dizaines de milliers de "logiciels libres" (selon définition du chapitre 1). A titre d'exemple (chiffres de début 2021) : la distribution libre GNU/Linux Debian se compose de plus de 59'000 paquets logiciels, le site GitHub recense plus de 41 millions de repositories, le site SourceForge héberge environ 53'000 logiciels libres, etc... La sélection que nous présentons ici est donc par définition limitée et résulte d'un choix subjectif. Nous pensons (espérons) cependant avoir recensé ici la plupart des logiciels libres majeurs pouvant être utiles au plus grand nombre, principalement dans un contexte académique (enseignement et recherche).
Et puis là aussi : Liste de logiciels libres | Wikipédia
TL;DR:
grub-install --efi-directory=/boot/efi --target=x86_64-efi --uefi-secure-boot
update-grub
Vous trouverez sur cette page une série de petites BDs à usage pédagogique ayant pour but d'expliquer l'univers du numérique Libre aux (grands) enfants.
- Dis ... c'est quoi un Ordinateur ?
- Dis ... c'est quoi un Disque Dur ?
- Dis ... c'est quoi un Périphérique ?
- Dis ... c'est quoi les Logiciels Libres ?
- Dis ... c'est quoi GNU/Linux ?
- Dis ... c'est quoi une Distribution ?
- Dis ... c'est quoi Debian ?
- Dis ... c'est quoi le Web ?
- Dis ... c'est quoi un Forum d'entraide ?
- Dis ... c'est quoi un Moteur de Recherche ?
- Dis ... c'est quoi un RĂ©seau Social ?
- Dis ... c'est quoi les GAFAM ?
- Dis ... c'est quoi le HTML ?
- Dis ... c'est quoi un Script ?
- Dis ... c'est quoi un IDE ?
- Dis ... c'est quoi un Mail ?
- Dis ... c'est quoi le Cloud ?
- Dis ... c'est quoi un Fork ?
- Dis ... c'est quoi un Raccourci Clavier ?
- Dis ... c'est quoi un Traitement de Texte ?
- Dis ... c'est quoi un Virus Informatique ?
Pillez à volonté, la cave n'a pas de clé ;)
texte, pdf, audio, vidéo, images... tout plein de recoins où fouiller pour apprendre ou s'amuser.
La disparition, en 2020, de Primaths et du Matou Matheux (deux anciens sites de calcul mental en ligne que j'utilisais beaucoup dans mon enseignement) a laissé un grand vide et, lors des confinements que nous avons connus en 2021, j'ai eu envie de le combler.
Site proposant des exercices de mathématiques pour les plus jeunes.
Online service of the BRouter routing engine. For the offline Android app and more information see brouter.de
Contact:
Preferred language is English, as we have both international contributors and users.
- General discussions/questions, support
- Chat with users and developers
- Bug reports and feature requests:
Data:
This is based on OpenStreetMap. It is usually updated daily, see dates of data files.
- Directions
- Long distance routes
- Used by professionals
- Geocoding
- POIs
- Isochrones
- Extraordinarily large areas
- Multiple locations and intersections
- Time-Distance Matrix
- Up to 2.500 distance pairs
- Fast response times
- Elevation
- Optimization
Cet article décrit la mise en place d’une connexion SSH sans mot de passe, à l’aide d’une paire de clés. Si l’on se connecte quotidiennement à une machine distante, la connexion SSH sans mot de passe évite d’avoir à saisir le mot de passe à chaque fois.
Qu’est ce qu’on m’interdit?
Pour connaître exactement les restrictions qui sont appliquées à mon document pdf :
qpdf --show-encryption in.pdf
Comment je fais sauter ces restrictions?
Pour supprimer les restrictions du pdf :
qpdf --decrypt in.pdf out.pdf
C’est pas plus compliqué que ça ! 🙂
In this guide, we'll go through the hot topics of FFmpeg. But before that, we'll cover some base ground to help you understand basic media concepts and FFmpeg. Feel free to skip the parts that are already trivial for you!
SELinux (Security Enhanced Linux) est un mécanisme de sécurité développé pour Linux par la NSA (National Security Agency) et utilisé principalement sur les systèmes Fedora et Red Hat Enterprise Linux ainsi que tous les clones binairement compatibles à RHEL. Il améliore de manière significative la sécurité des serveurs sur lesquels il est déployé, en apportant une couche supplémentaire aux traditionnels droits d’accès aux fichiers Unix. En contrepartie, sa complexité considérable conduit tôt ou tard à des erreurs de configuration, ce qui a pour conséquence que bon nombre d’administrateurs décident tôt ou tard de désactiver SELinux. L’objet de cet article, c’est de fournir une introduction simple à SELinux, en s’appuyant sur une série d’ateliers pratiques.
SRI is a new W3C specification that allows web developers to ensure that resources hosted on third-party servers have not been tampered with. Use of SRI is recommended as a best-practice, whenever libraries are loaded from a third-party source.
Learn more about how to use subresource integrity on MDN.
Dans cet article, je vais vous présenter le concept de proxy et ses usages. Puis je vous montrerai une méthode simple pour mettre en place un Proxy SOCKS au travers d’un tunnel SSH. Cet article n’a pas vocation à anonymiser une connexion internet. L’objectif ici est d’accéder à un autre réseau pour contourner les limites d’un pare-feu ou bien accéder à des services, interfaces web… disponibles sur cet autre réseau.
Nos missions et nos objectifs s’inscrivent dans la droite ligne des actions menées jusqu’à présent, à savoir
- L’accompagnement et le soutien de toute démarche pédagogique visant l’utilisation ou l’intégration du numérique dans les actions de formation et d’enseignement
- La production, la valorisation, la collecte et l’échange de ressources éducatives dans une visée pédagogique, recourant ou non aux outils numériques
- La promotion de l’utilisation du numérique dans le cadre de l’enseignement et de la formation
- L’accompagnement et la valorisation de la recherche dans les domaines de la pédagogie et du numérique
Every element I use for the basic structure of a HTML document, with explanations why.
Usually when I start a new project, I either copy the HTML structure of the last site I built or I head over to HTML5 Boilerplate and copy their boilerplate. Recently I didn’t start a new project, but I had to document the structure we use at work for the sites we build. So, simply copying and pasting wasn’t an option, I had to understand the choices that have been made.
A small collection of useful CSS techniques and a quick reminder that print style sheets are still a thing.
mpv --ao=null --vo=image --start=0:1:44.25 --end=0:1:46.6 GUEZCxBcM78.mp4
i=1
for f in 000*.jpg; do
convert -evaluate-sequence Min ${a[@]} $f $f
[[ $((i%7)) == 0 ]] && a=(${a[@]} $f)
i=$((i+1))
l=$f
done
echo 0001{00..50}.jpg |xargs -n1 ln -s $l
cat 000*.jpg |ffmpeg -y -f mjpeg -i - -c:v libx264 -r 24 -pix_fmt yuv420p skier.mp4