Reposted by Andres Correa Casablanca
Ok, I wrote a short article exploring this issue a little bit more in depth, as this past message left some interesting stuff out.
Open Source Software Developer, in love with Software Engineering. Ex-mathematician.
Co-Founder & Tech Lead @ CTRLback
Member since August 2026
vCardReposted by Andres Correa Casablanca
Ok, I wrote a short article exploring this issue a little bit more in depth, as this past message left some interesting stuff out.
Reposted by Andres Correa Casablanca
I feel a bit dumb for having discovered that so late, but #VSCode / #VSCodium do not use the .gitignore file to decide what inodes to watch for changes…
Working on a big #Rustlang project can be a nightmare (burning CPU, eating up all the RAM…), given that the target/ directory can end up using more than 100gb of disk space.
Remember to set your “files.watcherExclude” setting to avoid that problem:
{
"search.useIgnoreFiles": true,
"search.useGlobalIgnoreFiles": true,
"files.watcherExclude": {
"target/**": true,
"**/target/**": true
}
}
This afternoon a couple of my CI/CD pipelines broke because a user deleted all their their public repositories from Github.
I haven often asked my self if there was some sort of failsafe at GitHub where one can reactivate a delete repo by paying money.
I suppose they would have to change their terms and conditions, as the creator/owner of the IP has the moral & legal rights to stop distributing their own creation…
I’m not sure people would be happy about this kind of change if it were to happen, I’m imagining there would be a PR scandal (pun intended).
CTRLback · 10 months
PLM Technical Consultant
Founder
Founder
The best way: follow Andres Correa Casablanca here. New posts land in your feed, and you can reply and join in.
No vutuv account? These ways work too:
Are you on Mastodon or another Fediverse app? Follow Andres Correa Casablanca from there and new public posts arrive in your timeline. No vutuv account needed.
@andreu@vutuv.de
New public posts arrive in any feed reader. No account needed either.
https://vutuv.de/andreu/posts/feed.xml
The single-key shortcuts pause while you type, and are off on phones and tablets.