OMNeT++/OMNEST Bug Tracker - OMNeT++
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000533OMNeT++command line toolspublic2012-01-31 08:472014-10-03 10:06
Reportermichael 
Assigned Torhornig 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.2.1 
Target VersionFixed in Version4.6 
Summary0000533: MINGW: msys\etc\profile
DescriptionExtraction of OMNeT++ version number in msys\etc\profile is not correct in all situations:

PRODUCT=`cat Version | sed 's/omnetpp-/OMNeT++ /' | sed 's/omnest-/OMNEST /'`
echo "Welcome to $PRODUCT!"

if [ ! -f Makefile.inc ]; then

should be changed into:

PRODUCT=`cat "${OMNETPP_ROOT}/Version" | sed 's/omnetpp-/OMNeT++ /' | sed 's/omnest-/OMNEST /'`
echo "Welcome to $PRODUCT!"

if [ ! -f "${OMNETPP_ROOT}/Makefile.inc" ]; then

the original code only works if you are in the OMNETPP_ROOT directory.
Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Files
Issue History
Date ModifiedUsernameFieldChange
2012-01-31 08:47michaelNew Issue
2012-01-31 08:59michaelNote Added: 0000710
2012-01-31 11:00rhornigNote Added: 0000711
2012-01-31 13:18michaelNote Added: 0000712
2012-01-31 13:20michaelNote Added: 0000713
2014-10-03 10:06rhornigNote Added: 0000937
2014-10-03 10:06rhornigStatusnew => resolved
2014-10-03 10:06rhornigFixed in Version => 4.6
2014-10-03 10:06rhornigResolutionopen => fixed
2014-10-03 10:06rhornigAssigned To => rhornig

Notes
(0000710)
michael   
2012-01-31 08:59   
Oh sorry, I see I modify the User-Home directory, so that it only not works if the HOME variable will be changed (as I do).
(0000711)
rhornig   
2012-01-31 11:00   
Yes, this would be more safe, but please note that some other features my depend also on the HOME variable set to the OMNETPP root directory.

e.g. gdb reads its initialization file (which is required for the pretty printers) from the HOME directory by default. If you change the HOME variable, that feature will be silently disabled. (so you should also copy the .gdbinit file to your new HOME dir.)
(0000712)
michael   
2012-01-31 13:18   
Thanks for the hint!
(0000713)
michael   
2012-01-31 13:20   
Why does the MINGW gdb does not read the system-gdb-init file? See:

http://sourceware.org/gdb/current/onlinedocs/gdb/System_002dwide-configuration.html#System_002dwide-configuration [^]
(0000937)
rhornig   
2014-10-03 10:06   
patched.