file.name.from.url: Extract the file name from some URL
Description
Gets a character of link to some file, and returns the
name of the file in this link.
Usage
file.name.from.url(URL)
Arguments
URL
Some url to a file.
Value
The name of the file in the URL
Details
The install.packages.zip must use this function, since it
is crucial that the name of the file into which the
ZIPPED package is downloaded to the computer, will have
the same name as the file which is online.