Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2014-09-03 | Convert dev chroot to a container. | James Meyer | 1 | -1/+2 | |
This was needed to play nice with systemd and the way it mounts /dev/pts inside the chroot as public (breaking the default kernel policy). When public after /dev/pts inside the chroot is unmounted it also unmounts /dev/pts for the host. Same general steps as before. - Create new container with ./setup_env_container.sh - Enter container using ./enter_dev_container.$ARCH.$TS | |||||
2011-03-01 | bashrc: fix cdl path | Britney Fransen | 1 | -1/+1 | |
2011-02-28 | bashrc: update cdl and cdp paths | Britney Fransen | 1 | -2/+2 | |
2008-10-02 | initital import | James Meyer | 4 | -0/+18 | |