Get rid of files where we don't own the copyright or license is unclear

[zsh-lovers.git] / zsh_people / bruno_bonfils / rc / misc.rc

diff --git a/zsh_people/bruno_bonfils/rc/misc.rc b/zsh_people/bruno_bonfils/rc/misc.rc
deleted file mode 100644 (file)
index 0bb6497..0000000
--- a/zsh_people/bruno_bonfils/rc/misc.rc
+++ /dev/null
@@ -1,41 +0,0 @@
-# -*- shell-script -*-
-
-periodic () {
- rehash
-}
-
-export PERIOD=300
-
-###
-# Mail
-
-if [[ -x `which fetchmail` && ! -f ~/.fetchmail.pid && ! -f /tmp/.${USER}.fetchmailnoask ]]
-then
-       local ans
-       echo -n "Start fetchmail ? [y/n] "
-       read -q ans
-       if [[ $ans == "y" ]]
-       then
-               fetchmail
-       else
-               echo -n "Ask again ? [y/n] "
-               read -q ans
-               if [[ $ans == "n" ]]
-               then
-                       # I use /tmp since it's purge every reboot
-                       echo "" >| /tmp/.${USER}.fetchmailnoask
-               fi
-       fi
-fi
-
-
-###
-# Zftp
-#
-
-# load zftp module
-autoload -U zfinit
-zfinit
-
-# email address for anonymous ftp
-export EMAIL_ADDR=enjoy.zsh@foo.bar