[MDEV-18397] tmpdir = /tmp Created: 2019-01-28  Updated: 2020-11-12  Resolved: 2020-11-12

Status: Closed
Project: MariaDB Server
Component/s: Documentation
Fix Version/s: N/A

Type: Task Priority: Major
Reporter: Olaf van der Spek Assignee: Ian Gilfillan
Resolution: Fixed Votes: 0
Labels: None


 Description   

Could tmpdir get a sane default?

 Comments   
Comment by Sergei Golubchik [ 2020-11-10 ]

The default is

  • $TMPDIR (environment variable) if set
  • otherwise $TEMP if set and on Windows
  • otherwise $TMP if set and on Windows
  • otherwise P _tmpdir ("/tmp") or C:\TEMP (unless overridden during buid time)

What would you prefer it to be?

Comment by Olaf van der Spek [ 2020-11-10 ]

https://mariadb.com/kb/en/server-system-variables/#tmpdir doesn't mention any default. Maybe it's just a doc issue, the defaults you list seem fine.

What does the P in P _tmpdir mean?

Comment by Sergei Golubchik [ 2020-11-12 ]

Sorry, the space was a typo. I meant P_tmpdir. I don't know what P means (perhaps "prefix"), but it's in your local /usr/include:

$ grep -wr P_tmpdir /usr/include/
 
/usr/include/stdio.h:# define P_tmpdir  "/tmp"
 
/usr/include/stdio.h:   P_tmpdir is tried and finally "/tmp".  The storage for the filename

Generated at Thu Feb 08 08:43:47 UTC 2024 using Jira 8.20.16#820016-sha1:9d11dbea5f4be3d4cc21f03a88dd11d8c8687422.