https://github.com/maximilianmairinger/makelatexcodesnippet

Make Latex Code snippets with the atom one theme; based on images generated by codesandbox.
https://github.com/maximilianmairinger/makelatexcodesnippet

code latex make snippet

Last synced: about 2 months ago
JSON representation

Make Latex Code snippets with the atom one theme; based on images generated by codesandbox.

• Host: GitHub
• URL: https://github.com/maximilianmairinger/makelatexcodesnippet
• Owner: maximilianMairinger
• Created: 2021-04-04T11:43:40.000Z (almost 4 years ago)
• Default Branch: dev
• Last Pushed: 2024-04-11T22:05:00.000Z (9 months ago)
• Last Synced: 2024-04-17T02:33:27.651Z (9 months ago)
• Topics: code, latex, make, snippet
• Language: TypeScript
• Homepage: https://makelatexcodesnippet.maximilian.mairinger.com
• Size: 130 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Make latex code snippet

Make Latex Code snippets with the atom one theme; based on images generated from codesandbox.

## Contribute

The frontend / client is referred as app. The backend as server.

### TODO

 * Latex include text output

 * Webserver

 * remove temp

 * 

### Development env

#### Develop app

The source of the app can be found in `/app` and the serviceWorker's in `/serviceWorker`.

```

 $ npm run devApp

```

Builds the app on save & spins up a live (notifies client to reload on change) repl server, whose source can be found in `/replServer/src`.

#### Develop server

Source found in `/server/src`.

```

 $ npm run devServer

```

Builds the server & replApp on save. The source of the replApp can be found under `/replApp`. No live reloading available, since its the prod server.

#### Develop server & app

```

 $ npm run dev

```

Watches production server & app and builds them on save. No live reloading avalible, since its the prod server.

### Deploy

#### Build scripts

Build everything for production

```

 $ npm run build

```

#### Start

Start the server with default options

```

 $ npm start

```

Since this is a [npm-run-script](https://docs.npmjs.com/cli/run-script), cli options must be escaped in order to distinguish them from npm options. Simply prefix all options with **one** `--` like so: 

```

 $ npm start --  --port 1234 --outageReciliance strong

```

##### CLI options

Here is a list of all recognised cli options:

> TODO