personalization

[gilesknap]

In the personalization section we need to mention these (I think the 1st two are mentioned already but need to make this all in a single page):

• how to use .bashprofile_dev_container
• how to use .bashrc_dev_container
• how to set default extensions inside devcontainers using dev.containers.defaultExtensions

[gilesknap]

UPDATE: these have all been removed in favour of /workspaces/.devcontainer_rc See https://github.com/epics-containers/ioc-template/blob/edge-containers/template/.devcontainer/postCreateCommand

[gilesknap]

But the above is not yet documented. except for https://github.com/epics-containers/epics-containers.github.io/blob/3e74d6a9cc2ad3e3ad57300b2381e168d000c09b/docs/how-to/own_tools.md#L22