diff options
| author | Augusto Stoffel <arstoffel@gmail.com> | 2022-06-06 15:42:30 +0200 |
|---|---|---|
| committer | Augusto Stoffel <arstoffel@gmail.com> | 2022-06-06 15:42:30 +0200 |
| commit | d5d0cfbfbcd037ef8f84f41b2adc3f5a23baa11f (patch) | |
| tree | 60c088ca1856250da90e6b8bd7fa91d48c91740a /devdocs.el | |
| parent | 4257e59dafbffb2616d240f84c5c25770ee28cac (diff) | |
Use progress reporter while installing documents
As suggested in #19.
Diffstat (limited to 'devdocs.el')
| -rw-r--r-- | devdocs.el | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -204,8 +204,10 @@ DOC is a document metadata alist." pages) (with-temp-buffer (url-insert-file-contents (format "%s/%s/db.json?%s" devdocs-cdn-url slug mtime)) - (dolist (entry (let ((json-key-type 'string)) - (json-read))) + (dolist-with-progress-reporter + (entry (let ((json-key-type 'string)) + (json-read))) + "Installing documentation..." (with-temp-file (expand-file-name (url-hexify-string (format "%s.html" (car entry))) temp) (push (car entry) pages) |
