this post was submitted on 02 Feb 2026
19 points (100.0% liked)

Programming

25573 readers
333 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 2 years ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
UlrikHD@programming.dev
bugsmith@programming.dev
Spyro@programming.dev
19
Dev tools inside a dev container? (feddit.org)
submitted 2 weeks ago by jdw@feddit.org to c/programming@programming.dev
6 comments fedilink hide all child comments
 

I've recently started to get into containerized development (of LaTeX documents for now) using VSCode with the Dev Containers Extension. While compilation and everything works fine, I'm a bit annoyed by the very barebones shell of my podman container in the integrated terminal. I'm used to zsh with syntax highlighting and autocompletion, I like to use neovim to write my commit messages (even when I'm using VSCode to write my code) and of course I need git and ssh to push to my git forge.

I wonder if it is recommended to

  1. install neovim, zsh, ssh, git inside the dev container using the package manager (apt in this case) and manually write some config files
  2. Specify the installation of those packages in the Containerfile for my dev container and configure the devcontainer.json to mount my host's config files
  3. Use those tools from outside my dev container somehow
  4. Just not use any convenience tools like zsh, neovim, with individual config even, and only install purely functional packages like git and ssh in the container?

Since I'm not a software developer by training (trying to become one right now) I'd be very happy about some best practices or recommendations.

you are viewing a single comment's thread
view the rest of the comments
[–] setsubyou@lemmy.world 3 points 2 weeks ago* (last edited 2 weeks ago)

I basically do option 2, but I’d never mount all my configuration. I want an isolated environment, I’m not making all my ssh keys available to it. So some things have to stay outside for me.