Viewing profile — benoitg

It depends. The inspiration sometimes comes after a Saturday evening with friends and lots of drinks. Having a foolproof recipe comes in handy, and having the perfect stress-free p…

Not necessarily, I often make changes on unrelated commits. You can always use jj split to extract the change and put it somewhere else.

One of the uses cases on their website is the agent deleted my .env file. jj wouldn’t help with that as it would be gitignored.

Recent versions of MySQL and MariaDB default to repeatable-read for InnoDB tables, not read-commited : https://dev.mysql.com/doc/refman/8.4/en/set-transaction.html... https://maria…

I’m the same as the parent, auto-track = none() works perfectly for me

I’d love to know more, do you have any links to your articles?

Châtelet is there, you have to click on the 3D icon to experience the full majesty of its unending corridors in 3D

I fixed this by changing the default immutable heads to include all remote bookmarks. This way, you cannot edit them and the new commit is automatically created when you push to th…

I had the same copy paste problem, now I use jjui ( https://github.com/idursun/jjui ). The daily operations become even smoother, it looks like I’m flying over the log.

https://archive.is/ONfHw

https://archive.is/M6AFa

The Jetbrains suite of IDEs have this handy feature : if you copy a curl command into an HTTP scratch file, it is automatically converted to the HTTP equivalent, which is IMHO much…

Yes, the instructions are in the OP.

I don't know how VACUUM works, I couldn't tell you about the differences. The OPTIMIZE works almost exclusively with online DDL statements. There's only a brief table lock held dur…

Not really, the innodb_file_per_table variable has been set to 1 for a long time. Running OPTIMIZE TABLE frees up the disk space in this case.