TAPAAL

Calling TAPAAL from command line with argument

Bug #1855267 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
High
Peter Haahr Taankvist

Bug Description

It would be nice if you on linux call TAPAAL from a command line with an argument that is
a .tapn file that it directly opens that file.

Related branches

lp:~tapaal-contributor/tapaal/open-arg-file-1855267
Kenneth Yrke Jørgensen: Approve
Jiri Srba: Pending requested
Diff: 17 lines (+2/-2)
2 files modified
run-tapaal-j6.sh (+1/-1)
run-tapaal-j7.sh (+1/-1)
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

It works if you copy the repository, types make release, go into release-version and types java -cp .:* TAPAAL <FILE>

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Also works for TAPAAL 3.6.0 if you go into lib and write command java -cp "./*" TAPAAL <FILE>. So i suspect it has something to do with the sh file

Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
Jiri Srba (srba)
Changed in tapaal:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.