Unknown W. Brackets
9471107d0d
If possible, use /dev/shm instead of /tmp.
...
For some variants, /tmp will be tmpfs, but not always. In case our mmap
fails to prevent flushing to disk (as apparently happens on Raspberry Pi),
shm will work better for us.
Thanks go to klyoungblood.
2016-06-03 19:49:22 -07:00
..
2014-12-07 21:31:44 +01:00
2016-03-20 23:05:05 -07:00
2016-05-31 10:40:14 -07:00
2015-01-18 13:26:14 -08:00
2014-12-15 17:09:40 -05:00
2016-05-23 21:35:28 -07:00
2016-05-01 11:40:00 +02:00
2013-09-27 21:38:07 +02:00
2012-11-23 19:41:35 +01:00
2015-04-06 18:13:30 +02:00
2016-05-27 20:11:25 -07:00
2016-05-01 11:40:00 +02:00
2016-05-01 11:40:00 +02:00
2015-01-11 18:16:15 +01:00
2015-02-01 11:55:02 -08:00
2014-12-15 17:09:40 -05:00
2014-12-15 22:09:26 +01:00
2016-01-23 12:56:36 -08:00
2016-01-23 12:56:36 -08:00
2016-05-01 11:40:00 +02:00
2016-05-01 00:30:47 -07:00
2016-05-01 00:30:47 -07:00
2015-05-23 12:20:00 -07:00
2015-05-23 11:30:07 -07:00
2016-01-03 15:07:36 -08:00
2016-05-01 11:40:00 +02:00
2016-05-01 11:40:00 +02:00
2016-05-08 22:32:08 +02:00
2013-10-05 02:52:33 +08:00
2015-09-25 19:27:40 +02:00
2016-03-20 14:16:54 -07:00
2016-01-03 15:10:50 -08:00
2015-12-25 09:49:26 +03:00
2016-05-23 21:35:28 -07:00
2016-02-10 15:36:10 +01:00
2014-11-13 17:10:29 +10:00
2014-11-13 17:10:29 +10:00
2016-01-17 15:59:20 +01:00
2015-12-25 09:49:26 +03:00
2015-12-31 10:25:11 +03:00
2016-03-20 19:30:11 +01:00
2016-01-03 15:10:50 -08:00
2015-09-17 22:46:59 +02:00
2016-05-14 10:40:21 -07:00
2016-03-06 14:49:15 -08:00
2016-03-06 14:49:15 -08:00
2015-07-19 18:22:22 +02:00
2016-06-03 19:49:22 -07:00
2014-12-15 17:09:40 -05:00
2016-03-13 15:17:31 +01:00
2014-12-15 17:09:40 -05:00
2014-11-19 08:51:15 +10:00
2014-12-13 19:38:43 -08:00
2014-12-18 22:22:36 +01:00
2016-05-31 11:49:59 -07:00
2016-01-03 15:10:50 -08:00
2014-12-15 17:09:40 -05:00
2012-11-01 16:19:01 +01:00
2014-03-02 12:15:10 -08:00
2015-10-10 11:27:28 +02:00
2015-10-10 11:27:28 +02:00
2015-05-26 15:20:11 +03:00
2013-06-02 23:46:03 +02:00
2013-06-02 23:46:03 +02:00
2015-07-24 19:52:42 +02:00
2014-02-23 16:56:27 -08:00
2016-05-01 11:40:00 +02:00
2016-01-03 15:10:50 -08:00
2016-03-20 23:14:08 -07:00
2012-11-05 10:05:09 +01:00
2014-12-15 17:09:40 -05:00
2016-05-01 11:40:00 +02:00
2016-05-01 11:40:00 +02:00
2014-03-02 11:16:56 -08:00