Bill Allombert on Sun, 15 Dec 2019 18:43:30 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Problems finding .gp files in Android version


On Sun, Dec 15, 2019 at 03:03:45PM +0000, Hans Ruegg wrote:
> Hello PARI team,
> 
> first I would like to thank you very much for making this great
> program available. On my Windows computer it works very fine.
> Now I am testing the Android version, and I could not find out how to
> read .gp files from the file system, nor did I find any documentation
> about this. In the main directory of the internal storage I created a
> directory "PARI", and inside this directory  a file "test.gp". First I
> tried to open it directly from a file explorer, but the OS apparently
> was not informed about such files being associated with PARI, nor did
> it offer PARIDroid as an option for opening it.
> Then I tried, inside PARI: read("/storage/sdcard0/PARI/test.gp") and
> read("/storage/emulated/0/PARI/test.gp"). The path names are OK,
> according to the file explorer. But PARI always said: "read: error
> opening input file: "(...).

Does the application has the right to read file in /storage/ ?

Cheers,
Bill