Valgrind Fehler wegen $ User

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?

Quelle

2016-04-13 coenvalk

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

Dies scheint ein Problem mit dem Linux-Subsystem nicht in der Lage, memcheck, die bei /usr/lib/valgrind/memcheck-amd64-linux liegen sollte Ich würde darauf wetten, dass die Low-Level-Speicheraufrufe, die Valgrind verwendet, noch nicht vom Subsystem unterstützt werden. Wir sollten es als ein Problem auf den Projekten zu markieren page

Quelle

2016-04-18 08:22:38 ingramator

Antwort

Verwandte Themen