Scheduled service maintenance on November 22


On Friday, November 22, 2024, between 06:00 CET and 18:00 CET, GIN services will undergo planned maintenance. Extended service interruptions should be expected. We will try to keep downtimes to a minimum, but recommend that users avoid critical tasks, large data uploads, or DOI requests during this time.

We apologize for any inconvenience.

.profile 807 B

123456789101112131415161718192021222324252627
  1. # ~/.profile: executed by the command interpreter for login shells.
  2. # This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
  3. # exists.
  4. # see /usr/share/doc/bash/examples/startup-files for examples.
  5. # the files are located in the bash-doc package.
  6. # the default umask is set in /etc/profile; for setting the umask
  7. # for ssh logins, install and configure the libpam-umask package.
  8. #umask 022
  9. # if running bash
  10. if [ -n "$BASH_VERSION" ]; then
  11. # include .bashrc if it exists
  12. if [ -f "$HOME/.bashrc" ]; then
  13. . "$HOME/.bashrc"
  14. fi
  15. fi
  16. # set PATH so it includes user's private bin if it exists
  17. if [ -d "$HOME/bin" ] ; then
  18. PATH="$HOME/bin:$PATH"
  19. fi
  20. # set PATH so it includes user's private bin if it exists
  21. if [ -d "$HOME/.local/bin" ] ; then
  22. PATH="$HOME/.local/bin:$PATH"
  23. fi