Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • ion ion
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • redox-osredox-os
  • ionion
  • Merge requests
  • !1247

fix: man of history builtin is included into ion manual

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Florian Naumann requested to merge bool_purist/ion:fix_missing_builtin_man_page into master Mar 17, 2023
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 6

Purpose of this PR

See issue #1029 (closed)

Fix

  • Annotated builtin function which were missing man page section in ion manual
  • Created new proc macro attribute which allows to be used on functions which return closure as builtin callback. Needed for some builtin in interactive shell session.

About CI

The job linux:stable of the CI of Ion fails with compiling error.

See this issue for more details.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: fix_missing_builtin_man_page