Hello, petite astuce pour les utilisateurs de cmake, j’ai trouvé ces trois petites lignes pour générer et copier à la racine du projet le fichier compile_commands.json. Ce fichier est ensuite consommé par de nombreuses extensions vim notamment (clang-check par exemple).
![[programming] Générer automatiquement le fichier compile_commands.json](https://serendipiteur.fr/wp-content/uploads/2020/02/cmake_export_commands.png)
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
file(TOUCH "${CMAKE_BINARY_DIR}/compile_commands.json")
configure_file("${CMAKE_BINARY_DIR}/compile_commands.json" "${CMAKE_SOURCE_DIR}/compile_commands.json" COPYONLY)
Happy hacking !
It took me some times to understand how to format only on save on visual studio. Here are the steps for posterity:
The 3rd one is the most obscure. Without it, formatting will continue to happen, randomly making your cursor jump in the middle of a sentence because formatting occured and the file changed under your feet. 😉
Twice last year I tried to do plain text accounting. And I failed to do so because it requires using the computer regularly to sort expenses that happened during the week. « Cone » is an Android app that enables you to all entries on the go. Then a computer is only needed for analysis.
Earlier on the irc freenode#plaintextaccounting salon, I had the chance to talk with the developer of « Cone » and I had a feeling that I could contribute some ideas on how to make the data entry faster.
Grande mésaventure l’année dernière, mon clavier ne fonctionnait plus sous Ubuntu 16, je pouvais me connecter à ma session avec le clavier visuel uniquement. Après moulte péripéties, j’ai réussi à réparer tout ça en deux étapes.
Oyez ! Oyez !
Si vous lisez cet article, j’ai la chance d’avoir votre attention !
Notre temps d’attention est une ressource précieuse que nous avons tendance à sous-estimer, c’est une ressource limitée dans le temps et que nous ne pouvons ni stocker ni récupérer.
Les GAFA le savent mais ne vous le disent pas : votre attention vaut de l’or.
Rappelons que Facebook et Google font plus de 80% de leur chiffre d’affaire uniquement grâce à la publicité.
Lorsque j’ai quitté le monde Apple, c’est avec regret que je pensais avoir perdu mes playlists iTunes. Comme toujours avec open source, il y a moyen de bricoler. J’ai eu beaucoup de mal a importer mes playlists itunes dans mpd. Je ne précise ici que les étapes qui ne sont pas disponibles sur le net. Si vous voulez plus d’information sur le lecteur/serveur mpd, linuxfr a une très bonne introduction sur ce sujet. Voici comment j’ai réussi :
Lire la suite Tutoriel migrer playlists itunes vers mpd [niveau confirmé]
EDIT 2023-12-31: Cela fait un moment que je n’utilise plus Taskwarrior parce que ce logiciel ne permets pas l’execution simultannée (par exemple un terminal qui execute en continu la liste des tâches, et un autre terminal qui ajoute ou mets à jour une tache en particulir), ce qui résulte en la corruption et la perte de données. Je déconseille donc ce logiciel, au profit de logiciels centralisés comme tasks.org, qui se synchronise avec beaucoup de serveurs, notamment nextcloud.
J’utilise taskwarrior au quotidien. C’est un excellent outil de gestion de tâches en ligne de commandes. Pour synchroniser mes tâches entre les ordinateurs, j’utilise FreeCinc. Il existe un client Android sobrement intitulé Taskwarrior C2 qui est bien fait, mais difficile à configurer. Je vais vous guider de la création de compte à la synchronisation.
Lire la suite Tutoriel de configuration pour Taskwarrior C2 Android
Une thèse d’informatique traite des types de données permettant de créer des applications distribuées dont les données convergent sans synchronisation à priori. J’ai traduit et vulgarisé ce papier en deux articles.
Lire la suite Types de données répliquées convergentes et commutatives
Ce sujet est composé de deux articles : la première partie est théorique. Elle définit les propriétés mathématiques que doivent respecter les types de données répliqués convergentes et commutatives.
La seconde partie de l’article est un portfolio d’exemples pratiques. Y sont présentés les différents types de base et d’autres types plus élaborés.
Ce sujet est composé de deux articles (hors introduction) : une exploration théorique de ce qu’est un type de données répliquées convergent et commutatif. Cette première partie définit les propriétés mathématiques que doivent respecter ces types de données.
La seconde partie de l’article est un portfolio d’exemples pratiques.
Partons du principe que le réseau distribue à la longue les opérations de mises à jour entre tous les nœuds. Les nœuds sont de confiance et peuvent être déconnectés et reconnectés. Les nœuds continuent à opérer pendant les instants de déconnexion.
Plusieurs contraintes sur les opérations possibles sur les objet de ces nœuds garantissent la cohérence à terme des répliques de cet objet partagé sans synchronisation, ni consensus, à priori.
En basant le type de données sur l’état, ces contraintes sont :
![Ubuntu 16 bugfix clavier désactivé [expert]](https://serendipiteur.fr/wp-content/uploads/2019/04/ubuntu-black-and-orange-on-white.gif)
![Tutoriel migrer playlists itunes vers mpd [niveau confirmé]](https://serendipiteur.fr/wp-content/uploads/2018/05/mpd.png)
fusion(x, fusion(y,z)) = fusion(fusion(x,y), z)fusion(x,y) = fusion(y,x)fusion(x,x) = xEn basant le type de données sur l’opération, ces contraintes sont :
op(x, op(y,z)) = op(op(x,y), z)op(x,y) = op(y,x)Lire la suite Types de données répliquées convergentes et commutatives – Partie 1 : Théorie
Dans ma quête du système le plus versatile possible, j’ai accumulé une liste de logiciels qui sauvegardent si possible en clair leur configuration. Cela permet d’avoir une grosse Dropbox contenant tout mon contenu, et de déployer ces applications ad-hoc sans avoir à les configurer particulièrement.
Edition 2017_12_14 : ajout édition image
Edition 2018_06_07 : ajout musique beets.io
Edition 2020_03_24 : remplace krita par gimp, ajout okular, signal, fbreader
