Function: dune-promote

dune-promote is an interactive and natively compiled function defined in dune.el.

Signature

(dune-promote)

Documentation

Promote the correction for the current file.

Key Bindings

This command is not in any keymaps.

Source Code

;; Defined in /nix/store/ai4i12v8z13z6l9irpjcha90driqcxbb-emacs-packages-deps/share/emacs/site-lisp/elpa/dune-20260803.1048/dune.el
;;;###autoload
(defun dune-promote ()
  "Promote the correction for the current file."
  (interactive)
  (if (buffer-modified-p)
      (error "Cannot promote as buffer is modified")
    (shell-command
     (format
      "%s promote %s" dune-command
      (shell-quote-argument (file-name-nondirectory (buffer-file-name)))))
    (revert-buffer nil t)))