On Fri, Oct 04, 2019 at 06:05:13PM +0200, to...@tuxteam.de wrote: > On Fri, Oct 04, 2019 at 11:56:44AM -0400, Greg Wooledge wrote: > > On Fri, Oct 04, 2019 at 05:52:45PM +0200, Sven Joachim wrote: > > > On 2019-10-04 16:22 +0100, Jonathan Dowland wrote: > > > > Here's three ways: > > > > > > > > bash -c "~/whatever" > > > > > > Does not work, bash reports "Permission denied". > > > > The quotes shouldn't be there. > > Right -- with the quotes, tilde isn't expanded, but... > > > wooledg:~$ rm foo; echo 'echo hi' > foo; ls -l foo > > -rw-r--r-- 1 wooledg voice 8 Oct 4 11:56 foo > > wooledg:~$ bash ~/foo > > hi > > ... there's another thing: the -c shouldn't be there (you haven't it, OP > has it) either (that's the "permission denied" part)
Yes, you're absolutely correct. Jonathan must be having a bad day.