Not yet :)
08.08.2025 10:28 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0@domenkozar.bsky.social
Hacking on devenv.sh
Not yet :)
08.08.2025 10:28 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0We are happy to inform you that your proposal โWhat if GitHub Actions was local-first and built using Nix?โ to NixCon 2025 has been accepted.
08.08.2025 05:46 โ ๐ 3 ๐ 0 ๐ฌ 1 ๐ 0Now that I finally started using #devenv instead of flakes.
I get it.
It's way nicer that way.
Tuc tuc, anyone out here?
25.07.2025 14:30 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Nix maybe, but not devenv :)
24.07.2025 02:42 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Stop fighting your ROS 2 environment! Tired of "works on my machine" nightmares, Ubuntu version lock-in, and Docker workarounds? Here's how to build faster, reproducibly, anywhere using Nix.
Read my blog post: mykhailo.link/ros-devenv
Using elm2nix ๐
30.04.2025 17:59 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0๐คฏ
29.04.2025 15:24 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Coming in devenv 1.7: execute a task if certain files were modified
29.04.2025 09:50 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 1New devenv release is out, 1.6 brings quite a few significant bug fixes and a way to override developer environments using CLI options!
devenv.sh/blog/2025/04...
Wrote a guide on how to use profiles with devenv.sh to provide different subsets of environments:
github.com/cachix/deven...
Coming soon with devenv.sh 1.6
22.04.2025 07:53 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0devenv.new fixes this
20.04.2025 05:38 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0You can generate a container for prod :) devenv container build/copy
15.04.2025 14:42 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0You can do lib.mkForce to override it :) Happy to put an example on devenv.sh/common-patte... if you show me what you'd like to do :)
15.04.2025 14:42 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0โจ devenv 1.5: Overlays Support and Performance Improvements
devenv.sh/blog/2025/04...
This day has come, what's the next hot thing?
10.04.2025 13:32 โ ๐ 0 ๐ 0 ๐ฌ 2 ๐ 0Anyone tried Niri yet? Tempted to switch from i3 :)
10.04.2025 13:23 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Great to see all that interest for #Nix at yesterdayโs Valencia Codes Level Up meetup.
Many thanks to Deutsche Telekom IT for hosting the event.
#vlccodes #devenv #linux #osx
pretty wild turnout for a technology that felt so niche just 3 years ago.
and I really enjoyed watching someone else present about devenv for a change! thanks @jm2dev.bsky.social
We've reached 5k stars, thanks everyone for helping making developer environments somewhat easier โจ
20.03.2025 15:11 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Finally made it work, local overlays in devenv ๐
14.03.2025 17:07 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0Our team is hiring. If Nix, NixOS and AWS sounds like fun check it out.
grnh.se/7bba27744us
There's a lot of unchanneled anger in our society at these times
17.02.2025 11:45 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Don't run the command?
17.02.2025 11:25 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Alright we'll remove this feature from devenv, it's a really great feature, but I value the feedback it crosses the line.
16.02.2025 04:36 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0We will add an explicit warning that will have to be accepted before doing so. Is that sufficient?
16.02.2025 04:32 โ ๐ 0 ๐ 0 ๐ฌ 3 ๐ 0How is not using AI in IDE and devenv generate different? What are IDEs doing that we are not?
16.02.2025 04:10 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0