[email protected] writes: > [in reply to message from Tim Ruehsen Wed, 12 Nov 2014 16:09:02 +0100] >> On Tuesday 04 November 2014 09:25:50 Tim Ruehsen wrote: >> > On Tuesday 04 November 2014 07:22:04 address@hidden wrote: >> > > As non-root I tried to install wget this way into a user-owned > directory: >> > > ./configure --prefix=/usr/local/wget-1.16 >> > > make >> > > make check >> > > make install >> > > > >> > > 4. make install fails (regression to wget-1.15): >> > > /usr/bin/install -c wget '/usr/local/bin' >> > > >> > > /usr/bin/install: cannot remove `/usr/local/bin/wget': Permission > denied > >> Sorry for the delay. >> >> There is no problem for me ( = I can't reproduce the problem). >> BUT I have to 'sudo make install', else the install fails due to >> permission problems. > > Radio Yerevan was asked: "Can wget be installed w/o root privileges into > a user-owned directory?" > > Radio Yerevan answered: "Yes, if you make all standard directories > writable for that user."
it just works for me: sudo mkdir -p /usr/local/wget-1.16/ sudo chown $(id -u):$(id -g) /usr/local/wget-1.16 ./configure --prefix=/usr/local/wget-1.16 make make install Can you please double check the permissions on the destination directory? Giuseppe
