[tex-live] texlive on Raspberry Pi

[Reinhard Kotucha]

On 2018-04-09 at 14:13:33 +0200, Markus Kohm wrote:

 > Am Montag, 9. April 2018, 11:17:10 CEST schrieb Simon Dales:
 > > Stretch uses tmpfs
 > 
 > Not for /tmp:
 > 
 > $ cat /etc/os-release | grep PRETTY_NAME
 > PRETTY_NAME="Raspbian GNU/Linux 9 (stretch)"
 > $ mount | grep /tmp
 > $

Same on Jessie.

$ cat /etc/os-release | grep PRETTY_NAME
PRETTY_NAME="Raspbian GNU/Linux 8 (jessie)"
$ stat /tmp/ | grep ^Device
Device: b302h/45826d	Inode: 2552        Links: 8
$ stat /usr/ | grep ^Device
Device: b302h/45826d	Inode: 2559        Links: 12

 > /tmp is even not a mountpoint but a directory of /.

Simon, what makes you think that /tmp is in tmpfs?  What's the output
of df(1)? 

Even if /tmp would be in tmpfs I won't worry either.  I only ran out
of memory once when I compiled TeX Live with MAKEOPTS=-j4, which was
certainly a bit too optimistic.

As far as the limited amount of write operations is concerned, it's
more problematic that Chromium steadily creates files in $HOME even if
it's doing nothing useful.  You'll notice it if you update your
backups with rsync and run rsync twice.  I'm convinced that /home is
much more critical than /tmp.

Regards,
  Reinhard

-- 
------------------------------------------------------------------
Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at web.de
------------------------------------------------------------------