Am 08.11.2012 08:35, schrieb Jan Steffens:

Could we please remove grml-zsh-config from nymeria? It conflicts with my own config.

Let users who want that set it up themselves.

It should not. However, you can disable any global configuration by this: echo setopt no_global_rcs >> ~/.zshenv Would that be OK? -- Pierre Schmitz, https://pierre-schmitz.com

Am 08.11.2012 14:26, schrieb Jan Steffens:

On Thu, Nov 8, 2012 at 2:15 PM, Pierre Schmitz wrote:

...

It should not. However, you can disable any global configuration by this:

echo setopt no_global_rcs >> ~/.zshenv

Would that be OK?

Not quite. You also need to add "source /etc/zsh/zprofile" to restore sourcing of /etc/profile.

If this is problematic I can uninstall it. -- Pierre Schmitz, https://pierre-schmitz.com

On 08.11.2012 09:33, Thomas Bächler wrote:

This also means that sigurd will completely go away soon. Please download anything important that you still have there.

I'll be syncing the home dirs of most users (all TUs and devs marked as active in archweb) to nymeria. Still a good idea to get a backup yourself. -- Florian Pritz

On 08.11.2012 13:35, Thomas Bächler wrote:

Am 08.11.2012 13:26, schrieb Florian Pritz:

...

On 08.11.2012 09:33, Thomas Bächler wrote:

...

This also means that sigurd will completely go away soon. Please download anything important that you still have there.

I'll be syncing the home dirs of most users (all TUs and devs marked as active in archweb) to nymeria. Still a good idea to get a backup yourself.

Please, please don't! We can sync sigurd's /home to a new volume that we can delete in the future, but please don't pollute a fresh new /home with all the crap that accumulated on sigurd over the years.

Fine if I sync it to /home/$user/sigurd/? -- Florian Pritz