0
Bekam den Windows Insider Build von Windows 10, mit "Bash auf Ubuntu auf Windows". (Zu einem Fenster Insider here und mehr Informationen darüber, wie zu bekommen bash auf Windows here) ich in einige Probleme schnell lief nach der Installation von valgrind:
Ich betreiben:
$ valgrind ./a.out
Ausgabe von valgrind:
...
command: ./a.out
error 2 No such file or directory
cannot create shared_mem file /tmp/vgdb-pipe-shared-mem-vgdb-12-by-???-on-COENLAPTOP
tun, einige der Forschung ich verstehe, dass das Format für diese Datei wie etwas
ist/tmp/vgdb-pipe-shared-mem-vgdb-12-by-$USER-on-$HOSTNAME
Wenn ich echo $HOSTNAME bekomme, bekomme ich COENLAPTOP, was die gewünschte Antwort ist. Wenn ich echo $USER bekomme ich nichts.
Sehr eigenartig, es scheint, als ob ich nicht als Benutzer angemeldet bin?
Kann $ USER in eine gültige Zeichenfolge geändert werden? Ist das ein Nebeneffekt von Ubuntu unter Windows?
USER nicht festgelegt ist kein Problem: Valgrind ersetzt es mit ???, und das sollte funktionieren. Dein Problem ist etwas anderes. Vielleicht versuchen Sie, vgdb-Dateien in einem anderen Dateisystem zu setzen, indem Sie TMPDIR setzen oder --vgdb-prefix = ... arg verwenden. – phd