file-list.js 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. const topFileTypes = ['bbl', 'gls', 'ind']
  2. const ignoreFiles = ['output.fls', 'output.fdb_latexmk']
  3. export const buildFileList = (outputFiles, clsiServerId) => {
  4. const files = { top: [], other: [] }
  5. if (outputFiles) {
  6. const params = new URLSearchParams()
  7. if (clsiServerId) {
  8. params.set('clsiserverid', clsiServerId)
  9. }
  10. const allFiles = []
  11. // filter out ignored files and set some properties
  12. for (const file of outputFiles.values()) {
  13. if (!ignoreFiles.includes(file.path)) {
  14. file.main = file.path.startsWith('output.')
  15. file.url += `?${params}`
  16. allFiles.push(file)
  17. }
  18. }
  19. // sort main files first, then alphabetical
  20. allFiles.sort((a, b) => {
  21. if (a.main && !b.main) {
  22. return a
  23. }
  24. if (b.main && !a.main) {
  25. return b
  26. }
  27. return a.path.localeCompare(b.path)
  28. })
  29. // group files into "top" and "other"
  30. for (const file of allFiles) {
  31. if (topFileTypes.includes(file.type)) {
  32. files.top.push(file)
  33. } else if (!(file.type === 'pdf' && file.main === true)) {
  34. files.other.push(file)
  35. }
  36. }
  37. }
  38. return files
  39. }