Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

.ocamldebug init file would be nice #3555

Closed
vicuna opened this issue Mar 23, 2005 · 2 comments
Closed

.ocamldebug init file would be nice #3555

vicuna opened this issue Mar 23, 2005 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Mar 23, 2005

Original bug ID: 3555
Reporter: administrator
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2011-05-29T10:14:09Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.11.1+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: mattiasw

Bug description

Full_Name: mattias waldau
Version: 3.8.0.2
OS: linux/winxp
Submission from: c-048ae253.09-253-7570701.cust.bredbandsbolaget.se (83.226.138.4)

It would be nice if ocamldebug instructions like

directory ~/home/src/

and

bigstep 100000

could be placed in a file called .ocamlinit which is placed in the local
directory.

Then ocamldebug can read this file on startup.

(I currently have a project were some files are located at ../ and each time I
forgot
to add the directory, ocamldebug exists with an error.)

@vicuna
Copy link
Author

vicuna commented Apr 18, 2006

Comment author: mattiasw

This feature is still wanted.

Maybe, you should set smallstep to 1000 and bigstep to 100000 default for cygwin, since otherwise, ocamldebug very seldom works.

@vicuna
Copy link
Author

vicuna commented Jun 22, 2009

Comment author: @xclerc

This feature has been implemented in branch "release311".
A file named ".ocamldebug" is searched first in the current directory,
and then in the home directory (using Sys.getenv "HOME"). If such a
file is found, its content is evaluated in the debugger (discarding any
line that begins with "#").

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant