fix: mount /tmp as tmpfs by default, ensure compatibility with regula…

…r linux distributions

Signed-off-by: Luca Di Maio <[email protected]>

pkg/driver/docker/docker.go

@@ -251,10 +251,20 @@ func (d *dockerDriver) RunDockerDevContainer(
 	}
 
 	// mounts
+	tmpfsMount := true
 	for _, mount := range options.Mounts {
+		// skip tmpfs mount on /tmp if devcontainer specifies another mount option
+		if strings.Contains(mount.String(), "/tmp") {
+			tmpfsMount = false
+		}
 		args = append(args, "--mount", mount.String())
 	}
 
+	// ensure /tmp is a tmpfs like on regular linux distros
+	if tmpfsMount {
+		args = append(args, "--mount", "type=tmpfs,destination=/tmp")
+	}
+
 	// add ide mounts
 	switch ide {
 	case string(config2.IDEGoland):