[liontwist]

> Yes, you must copy and paste content

Manual work is almost never a good solution. Try this:

    for PAGE in *.page
    do 
        cat header.html "$PAGE" footer.html > “$PAGE.html”
    done

[AdieuToLogic]

A slightly simpler version of same is:

  for PAGE in *.page
  do
    cat header.html "$PAGE" footer.html > "$PAGE.html"
  done

As noted in a peer comment, the cat[0] command supports concatenating multiple files to stdout in one invocation.

HTH

EDIT: if you don't want the output file to be named "a.page.html" and instead it to be "a.html", replace the above cat invocation with:

  cat header.html "$PAGE" footer.html > "${PAGE%.page}.html"

This syntax assumes use of a POSIX/bash/zsh shell.

0 - https://man.freebsd.org/cgi/man.cgi?query=cat&apropos=0&sekt...

[adamzochowski]

Why not use server side includes? Most web servers support it, and it dates back to one of the early features of webservers.

    <!--# set var="pagetitle" value="Main page" -->
    <!--# include file="00__header.html" -->
    
    ... main content here
    
    <!--# include file="00__footer.html" -->

[liontwist]

Because that requires a server with the proper config and this is an HTML file. So it works in every environment, like locally on your machine, or GitHub pages.

[8n4vidtmkvmk]

`cat` supports multiple files, no? The whole point is that it concatenates. Why use 3 commands?

[liontwist]

Because I’m typing on my phone and the line was long. Thanks!

[dgfitz]

Oh man, cattiness use of cat!

[TeMPOraL]

More cats are strictly cuter than less cats.

[vaylian]

Unfortunately, this doesn't adjust the <title> element.

[liontwist]

envsubst

[johnisgood]

sed? :D