[arch-dev-public] [community] [extra] repos moving to nymeria
Hi, [community] (svn + dbscripts) will soon (likely this week) move to nymeria.archlinux.org. Since we want uniform user names across most systems, they will be taken from archweb. If you do not want your archweb user name to be your ssh account name, please send me a mail or ping me on IRC. You should also know that the setup on nymeria is slightly different from sigurd so there might be some problems although we did preliminary testing. If something is broken please tell me or Pierre via mail or IRC (we are both in #archlinux-projects). core/extra will follow soonish. Migration instructions will follow once we move. -- Florian Pritz
Could we please remove grml-zsh-config from nymeria? It conflicts with my own config. Let users who want that set it up themselves.
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
On Thu, Nov 8, 2012 at 2:15 PM, Pierre Schmitz <pierre@archlinux.de> 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.
Am 08.11.2012 14:26, schrieb Jan Steffens:
On Thu, Nov 8, 2012 at 2:15 PM, Pierre Schmitz <pierre@archlinux.de> 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
Am 07.11.2012 22:20, schrieb Florian Pritz:
Hi,
[community] (svn + dbscripts) will soon (likely this week) move to nymeria.archlinux.org.
Since we want uniform user names across most systems, they will be taken from archweb. If you do not want your archweb user name to be your ssh account name, please send me a mail or ping me on IRC.
You should also know that the setup on nymeria is slightly different from sigurd so there might be some problems although we did preliminary testing. If something is broken please tell me or Pierre via mail or IRC (we are both in #archlinux-projects).
core/extra will follow soonish.
Migration instructions will follow once we move.
This also means that sigurd will completely go away soon. Please download anything important that you still have there.
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
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.
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
Am 08.11.2012 13:37, schrieb 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/?
If you really must, okay. Remember to copy .ssh to $HOME though, and to set all permissions properly.
Am 07.11.2012 22:20, schrieb Florian Pritz:
Hi,
[community] (svn + dbscripts) will soon (likely this week) move to nymeria.archlinux.org.
Since we want uniform user names across most systems, they will be taken from archweb. If you do not want your archweb user name to be your ssh account name, please send me a mail or ping me on IRC.
You should also know that the setup on nymeria is slightly different from sigurd so there might be some problems although we did preliminary testing. If something is broken please tell me or Pierre via mail or IRC (we are both in #archlinux-projects).
core/extra will follow soonish.
Migration instructions will follow once we move.
We will hopefully finish the move tonight. So expect to be not being able to log into sigurd soon. We'll send a note once we are done. Greetings, Pierre -- Pierre Schmitz, https://pierre-schmitz.com
participants (4)
-
Florian Pritz
-
Jan Steffens
-
Pierre Schmitz
-
Thomas Bächler