diff options
Diffstat (limited to 'etc/profile')
| -rw-r--r-- | etc/profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/profile b/etc/profile index 9627e6f..ffdd0f1 100644 --- a/etc/profile +++ b/etc/profile @@ -4,11 +4,13 @@ function pr_info { } echo + pr_info "This is %F{cyan}$(uname -srm)%F{default} on %F{cyan}%y%F{default}" [[ -r /etc/gentoo-release ]] && pr_info "Running %F{cyan}Gentoo%F{default} ${$(cat /etc/gentoo-release)#(#i)gentoo }" [[ -r /etc/debian_version ]] && pr_info "Running %F{cyan}Debian%F{default} $(cat /etc/debian_version)" [[ -r /etc/arch-release ]] && pr_info "Running %F{cyan}Arch%F{default}" [[ -r /etc/redhat-release ]] && pr_info "Running %F{cyan}Redhat%F{default}" + echo [[ -n $(echo Maildir/new/*(N)) ]] && pr_info "You have mail!" |