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

Generate index.json for static search #9

Closed
nexero opened this issue Mar 11, 2019 · 0 comments
Closed

Generate index.json for static search #9

nexero opened this issue Mar 11, 2019 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@nexero
Copy link

nexero commented Mar 11, 2019

In order to do a static search without server backend, we need to implement the search routines in JS like described in RDTK/CITKat#6.
To do that, we need a file that contains all file names to search through, e.g. our directory and files structure looks like this:

$ tree
.
├── distribution
│   ├── lsp-famula-nightly.xml
│   └── lsp-famula-sanitized.xml
├── index.json
└── project
    └── boost_threadpool-0.2.5.xml

2 directories, 4 files

The content of an index.json should look like this then (must not contain index.json itself):

[
      "distribution/lsp-famula-nightly",
      "distribution/lsp-famula-sanitized",
      "project/boost_threadpool-0.2.5"
]
@nexero nexero added the enhancement New feature or request label Mar 11, 2019
@scymtym scymtym changed the title towards static catalog pages: generate index.json for static search Generate index.json for static search Mar 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants