Bruce Sass writes:
> Jed picks up on "#!/bin/sh" and starts syntax highlighting, "#! /bin/sh"
> results in a plain text editing session.
That's a bug in jed. Emacs gets it right.
--
John Hasler
[EMAIL PROTECTED] (John Hasler)
Dancing Horse Hill
Elmwood, WI
On 19 Apr 1999, John Hasler wrote:
> Jiri writes:
> > That should be #! and there shouldn't be a space after it.
>
> The space doesn't matter.
Not as far as executing the script goes, but...
Jed picks up on "#!/bin/sh" and starts syntax highlighting,
"#! /bin/sh" results in a plain text editing
Jiri writes:
> That should be #! and there shouldn't be a space after it.
The space doesn't matter.
> Actually, there's not much point doing this. The reason everything else
> has it is because when you uninstall a package (rather than purge), dpkg
> will leave the ip-up.d script behind and it ne
Hello,
Christian Dysthe:
> #! /bin/sh
> fetchmail -f /home/cdysthe/.fetchmailrc
>
> I also made a more "complete" script using:
>
> #1 /bin/sh
That should be #! and there shouldn't be a space after it.
> if [ -x /usr/bin/fetchmail ]
>then /usr/bin/fetchmail -f /home/cdysthe/.fetchmailrc
>
Christian Dysthe writes:
> I will try that, but the .fetchmailrc file in /home/cdysthe is owned by
> root. Shouldn't that be enough?
Baffle. Why do you have a .fetchmailrc owned by root in cdysthe's home? I
assumed you were trying to fetch mail for cdysthe.
Check the permissions. Fetchmail do
Thanks,
I will try that, but the .fetchmailrc file in /home/cdysthe is owned by root.
Shouldn't that be enough?
On 13-Apr-99 John Hasler wrote:
>> #! /bin/sh
>> fetchmail -f /home/cdysthe/.fetchmailrc
>
>> However, if I put it in /etc/ip-up.d they do not work as intended: I can
>> see the fetcha
> #! /bin/sh
> fetchmail -f /home/cdysthe/.fetchmailrc
> However, if I put it in /etc/ip-up.d they do not work as intended: I can
> see the fetchamil process start as soon as I am connected, but fetchmail
> won't collect mail in this case. It just hangs there inactive.
In ip-up.d it is being run
7 matches
Mail list logo