Skip to content

Instantly share code, notes, and snippets.

View wanx4910's full-sized avatar

David Wan wanx4910

View GitHub Profile
@hossam-elshabory
hossam-elshabory / div.nix
Created January 4, 2025 11:32
Google IDX IDE - Python Development config file.
# To learn more about how to use Nix to configure your environment
# see: https://developers.google.com/idx/guides/customize-idx-env
{ pkgs, ... }: {
# Which nixpkgs channel to use.
channel = "stable-24.05"; # or "unstable"
# Use https://search.nixos.org/packages to find packages
packages = [
pkgs.python311
pkgs.python311Packages.pip
];