Andres Correa Casablanca

Open Source Software Developer, in love with Software Engineering. Ex-mathematician.

Co-Founder & Tech Lead @ CTRLback

Member since August 2026

vCard

Reposted by Andres Correa Casablanca

Andreu Casablanca 🐀 @castarco hachyderm.io

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
    }
}

Replying to @andreu

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.

2

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).

View all 4 posts

Tags

All tags

Experience

2025 - Present
10m
Co-Founder & Tech Lead

CTRLback · 10 months

Languages

Followers

Follows

Subscribe

With a vutuv account

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:

Fediverse

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

Your address is used once, to send you to your own server's follow dialog. It is never stored here.

Or with an RSS reader

New public posts arrive in any feed reader. No account needed either.

RSS
https://vutuv.de/andreu/posts/feed.xml