| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- const topFileTypes = ['bbl', 'gls', 'ind']
- const ignoreFiles = ['output.fls', 'output.fdb_latexmk']
- export const buildFileList = (outputFiles, clsiServerId) => {
- const files = { top: [], other: [] }
- if (outputFiles) {
- const params = new URLSearchParams()
- if (clsiServerId) {
- params.set('clsiserverid', clsiServerId)
- }
- const allFiles = []
- // filter out ignored files and set some properties
- for (const file of outputFiles.values()) {
- if (!ignoreFiles.includes(file.path)) {
- file.main = file.path.startsWith('output.')
- file.url += `?${params}`
- allFiles.push(file)
- }
- }
- // sort main files first, then alphabetical
- allFiles.sort((a, b) => {
- if (a.main && !b.main) {
- return a
- }
- if (b.main && !a.main) {
- return b
- }
- return a.path.localeCompare(b.path)
- })
- // group files into "top" and "other"
- for (const file of allFiles) {
- if (topFileTypes.includes(file.type)) {
- files.top.push(file)
- } else if (!(file.type === 'pdf' && file.main === true)) {
- files.other.push(file)
- }
- }
- }
- return files
- }
|