|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #18112 download from shell
Submitted: 2002-07-02 11:21 UTC Modified: 2002-07-02 11:35 UTC
From: tictac at comodin dot com Assigned:
Status: Not a bug Package: Website problem
PHP Version: 4.2.1 OS: freeBSD
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
Block user comment
Status: Assign to:
Bug Type:
From: tictac at comodin dot com
New email:
PHP Version: OS:


 [2002-07-02 11:21 UTC] tictac at comodin dot com
normaly i get sources from shell via "fetch http://"
but i cant get the php-source from your website cause u use 
php to link to the file.

ok, i think no problem. walking to my Mac OS X and open MS 
Internet Explorer to klick to the link and download the 
file. very nice to see how php is working here. i get a 
"do_download.php" on my desctop. sure i can rename this 
file to "phpwhatever.tar.gz" but i think it will easy to 
put a normal link on the webpage where i can get the source 
via fetch from the shell.

-- andreas kelm (berlin/germany)


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2002-07-02 11:35 UTC]
I did try to use on my RedHat box: "wget" and "links -source" and they both work from the bash.
PHP Copyright © 2001-2022 The PHP Group
All rights reserved.
Last updated: Thu Dec 01 13:05:53 2022 UTC