| Anonymous | Login | 2019-01-24 07:52 UTC |  |
| My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
| 0000533 | OMNeT++ | command line tools | public | 2012-01-31 08:47 | 2014-10-03 10:06 | ||||
| Reporter | michael | ||||||||
| Assigned To | rhornig | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Platform | OS | OS Version | |||||||
| Product Version | 4.2.1 | ||||||||
| Target Version | Fixed in Version | 4.6 | |||||||
| Summary | 0000533: MINGW: msys\etc\profile | ||||||||
| Description | Extraction 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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files | |||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0000710) michael (reporter) 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 (administrator) 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 (reporter) 2012-01-31 13:18 |
Thanks for the hint! |
|
(0000713) michael (reporter) 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 (administrator) 2014-10-03 10:06 |
patched. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-01-31 08:47 | michael | New Issue | |
| 2012-01-31 08:59 | michael | Note Added: 0000710 | |
| 2012-01-31 11:00 | rhornig | Note Added: 0000711 | |
| 2012-01-31 13:18 | michael | Note Added: 0000712 | |
| 2012-01-31 13:20 | michael | Note Added: 0000713 | |
| 2014-10-03 10:06 | rhornig | Note Added: 0000937 | |
| 2014-10-03 10:06 | rhornig | Status | new => resolved |
| 2014-10-03 10:06 | rhornig | Fixed in Version | => 4.6 |
| 2014-10-03 10:06 | rhornig | Resolution | open => fixed |
| 2014-10-03 10:06 | rhornig | Assigned To | => rhornig |
|
Issue History |
| Copyright © 2000 - 2019 MantisBT Team |
 |