Skip to content

Commit 8cb1944

Browse files
mafulafunkclaude
mafulafunk
and
claude
committed
Add terminal theme and redesign slides
- Add custom terminal.css theme (dark mode, monospace font) - Redesign all slides with cleaner layout - Restore original formulas and Wikipedia links - Add syntax highlighting for SQL and bash code blocks - Fix code block formatting in Umbenennung slide Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
1 parent 0e1cef8 commit 8cb1944

2 files changed

Lines changed: 133 additions & 66 deletions

File tree

‎PITCHME.md‎

Lines changed: 39 additions & 66 deletions
Original file line numberDiff line numberDiff line change
@@ -2,26 +2,20 @@
22
marp: true
33
title: SQL in the shell
44
description: Relationenalgebra auf der Kommandozeile
5-
theme: uncover
5+
theme: terminal
66
paginate: true
77
_paginate: false
8+
class: invert
89
---
910

10-
![bg](./assets/gradient.jpg)
11+
<!-- _class: lead -->
1112

1213
# SQL in the shell
1314

14-
Relationenalgebra auf der Kommandozeile
15-
16-
<style scoped>a { color: #eee; }</style>
17-
18-
<!-- This is presenter note with. You can write down notes through HTML comment. -->
15+
### Relationenalgebra auf der Kommandozeile
1916

2017
---
2118

22-
![bg](#148)
23-
![](#fff)
24-
2519
# Relation
2620

2721
| id | name | stadt |
@@ -34,9 +28,6 @@ Relationenalgebra auf der Kommandozeile
3428

3529
---
3630

37-
![bg](#148)
38-
![](#fff)
39-
4031
# Operationen
4132

4233
- Projektion
@@ -48,9 +39,6 @@ Relationenalgebra auf der Kommandozeile
4839

4940
---
5041

51-
![bg](#148)
52-
![](#fff)
53-
5442
# Projektion
5543

5644
> $$
@@ -61,115 +49,99 @@ Relationenalgebra auf der Kommandozeile
6149
> \pi_{\beta}(R):=\{t_{\beta}|t \in R\}
6250
> $$
6351
64-
- `SELECT CustomerName, City FROM Customers;`
65-
6652
---
6753

68-
![bg](#148)
69-
![](#fff)
70-
7154
# Selektion
7255

7356
> $$
7457
> \sigma_{\text{A}}(R) := \{ t | t \in R \wedge t \text{ erf\"ullt A} \}
7558
> $$
7659
77-
- `SELECT * FROM Customers`
78-
`WHERE Country LIKE '%ada%';`
60+
```sql
61+
SELECT * FROM Customers
62+
WHERE Country LIKE '%ada%';
63+
```
7964

8065
---
8166

82-
![bg](#148)
83-
![](#fff)
84-
8567
# Vereinigung
8668

8769
> $$
8870
> R \cup S := \{ t | t \in R \lor t \in S \}
8971
> $$
9072
91-
- `SELECT * FROM Customers_A`
92-
`UNION SELECT * FROM Customers_B`
73+
```sql
74+
SELECT * FROM Customers_A
75+
UNION
76+
SELECT * FROM Customers_B;
77+
```
9378

9479
---
9580

96-
![bg](#148)
97-
![](#fff)
98-
9981
# Differenz
10082

10183
> $$
102-
> R {-} S := R {\setminus} S := \{ t | t \in R \land t \notin S \}
84+
> R \setminus S := \{ t | t \in R \land t \notin S \}
10385
> $$
10486
105-
- `SELECT * FROM Customers_A`
106-
`EXCEPT SELECT * FROM Customers_B;`
87+
```sql
88+
SELECT * FROM Customers_A
89+
EXCEPT
90+
SELECT * FROM Customers_B;
91+
```
10792

10893
---
10994

110-
![bg](#148)
111-
![](#fff)
112-
11395
# Umbenennung
11496

11597
> $$
11698
> \rho_{[\mathrm{neu}\leftarrow\mathrm{alt}]}(R):= \{t'|t'(R-\mathrm{alt})=t(R-\mathrm{alt}) \land t'(\mathrm{neu})=t(\mathrm{alt})\}
11799
> $$
118100
119-
- `awk -F ',' '{print $2, $1}' R`
101+
```bash
102+
awk -F ',' '{print $2, $1}' R
103+
```
120104

121105
---
122106

123-
![bg](#148)
124-
![](#fff)
125-
126107
# Kartesisches Produkt
127108

128109
> $$
129110
> R\times S:=\{(a_1,a_2,...,a_n,b_1,b_2,...,b_m)| \\
130111
> (a_1,...,a_n)\in R\wedge (b_1,...,b_m)\in S\}
131112
> $$
132113
133-
- `SELECT * FROM R, S;`
114+
```sql
115+
SELECT * FROM R, S;
116+
```
134117

135118
---
136119

137-
![bg](#148)
138-
![](#fff)
120+
# Join?
139121

140-
## Join?
141-
142-
- Selektion
143-
- Projektion
144-
- Kartesisches Produkt
122+
> Kartesisches Produkt
123+
> Selektion
124+
> Projektion
145125
146126
---
147127

148-
![bg](#148)
149-
![](#fff)
150-
151128
# Revue
152129

153-
- [cat](<https://de.wikipedia.org/wiki/Cat_(Unix)>): Vereinigung
130+
- [cat](https://de.wikipedia.org/wiki/Cat_(Unix)): Vereinigung
154131
- [grep](https://de.wikipedia.org/wiki/Grep): Selektion
155132
- [awk](https://de.wikipedia.org/wiki/Awk): Selektion, Projektion, Umbenennung
156133
- [comm](https://en.wikipedia.org/wiki/Comm): Differenz
157134

158135
---
159136

160-
![bg](#148)
161-
![](#fff)
137+
# Unix Tools
162138

163-
# Et al.
139+
[cat](https://de.wikipedia.org/wiki/Cat_(Unix)) · [sed](https://de.wikipedia.org/wiki/Sed_(Unix)) · [grep](https://de.wikipedia.org/wiki/Grep) · [cut](https://de.wikipedia.org/wiki/Cut_(Unix)) · [awk](https://de.wikipedia.org/wiki/Awk) · [join](https://de.wikipedia.org/wiki/Join_(Unix)) · [comm](https://en.wikipedia.org/wiki/Comm) · [diff](https://de.wikipedia.org/wiki/Diff) · [uniq](https://en.wikipedia.org/wiki/Uniq) · [sort](https://de.wikipedia.org/wiki/Sort_(Unix))
164140

165-
[cat](<https://de.wikipedia.org/wiki/Cat_(Unix)>),[sed](<https://de.wikipedia.org/wiki/Sed_(Unix)>), [grep](https://de.wikipedia.org/wiki/Grep), [cut](<https://de.wikipedia.org/wiki/Cut_(Unix)>), [awk](https://de.wikipedia.org/wiki/Awk), [join](<https://de.wikipedia.org/wiki/Join_(Unix)>),
166-
[comm](https://en.wikipedia.org/wiki/Comm), [diff](https://de.wikipedia.org/wiki/Diff), [uniq](https://en.wikipedia.org/wiki/Uniq) und [sort](<https://de.wikipedia.org/wiki/Sort_(Unix)>)
141+
> *"Do one thing and do it well"*
167142
168143
---
169144

170-
![bg](#148)
171-
![](#fff)
172-
173145
# Inspiration
174146

175147
> *"Relational algebra can turn any
@@ -179,11 +151,12 @@ Relationenalgebra auf der Kommandozeile
179151

180152
---
181153

182-
![bg](#148)
183-
![](#fff)
154+
<!-- _class: lead -->
155+
156+
![w:150](https://s.gravatar.com/avatar/b697f623bef1a9d58326f850ec184aa6?s=150)
184157

185-
![bg 40% opacity blur](https://s.gravatar.com/avatar/b697f623bef1a9d58326f850ec184aa6?s=80)
158+
# Danke!
186159

187-
# Martin Funk ([@eigenfunk](https://github.com/eigenfunk))
160+
**Martin Funk** · [@eigenfunk](https://github.com/eigenfunk)
188161

189-
https://github.com/eigenfunk/sql-in-the-shell
162+
[github.com/eigenfunk/sql-in-the-shell](https://github.com/eigenfunk/sql-in-the-shell)

‎themes/terminal.css‎

Lines changed: 94 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,94 @@
1+
/* @theme terminal */
2+
3+
@import 'default';
4+
5+
:root {
6+
--color-background: #1e1e2e;
7+
--color-foreground: #cdd6f4;
8+
--color-highlight: #89b4fa;
9+
--color-accent: #a6e3a1;
10+
--color-muted: #6c7086;
11+
}
12+
13+
section {
14+
background: var(--color-background);
15+
color: var(--color-foreground);
16+
font-family: 'JetBrains Mono', 'Fira Code', 'SF Mono', Consolas, monospace;
17+
padding: 40px 60px;
18+
}
19+
20+
h1, h2, h3 {
21+
color: var(--color-highlight);
22+
font-weight: 600;
23+
}
24+
25+
h1 {
26+
font-size: 2.5em;
27+
border-bottom: 3px solid var(--color-accent);
28+
padding-bottom: 0.3em;
29+
}
30+
31+
code {
32+
background: #313244;
33+
color: var(--color-accent);
34+
padding: 0.2em 0.5em;
35+
border-radius: 4px;
36+
font-size: 0.9em;
37+
}
38+
39+
pre {
40+
background: #313244;
41+
border-left: 4px solid var(--color-accent);
42+
border-radius: 8px;
43+
padding: 1em;
44+
}
45+
46+
blockquote {
47+
border-left: 4px solid var(--color-highlight);
48+
background: rgba(137, 180, 250, 0.1);
49+
padding: 0.5em 1em;
50+
border-radius: 0 8px 8px 0;
51+
}
52+
53+
a {
54+
color: var(--color-highlight);
55+
}
56+
57+
table {
58+
border-collapse: collapse;
59+
margin: 1em 0;
60+
}
61+
62+
th {
63+
background: #313244;
64+
color: var(--color-highlight);
65+
padding: 0.5em 1em;
66+
}
67+
68+
td {
69+
padding: 0.5em 1em;
70+
border-bottom: 1px solid #45475a;
71+
}
72+
73+
strong {
74+
color: var(--color-accent);
75+
}
76+
77+
/* Title slide */
78+
section.lead {
79+
text-align: center;
80+
display: flex;
81+
flex-direction: column;
82+
justify-content: center;
83+
}
84+
85+
section.lead h1 {
86+
border-bottom: none;
87+
font-size: 3em;
88+
}
89+
90+
/* Prompt-style for code emphasis */
91+
em {
92+
color: var(--color-muted);
93+
font-style: normal;
94+
}

0 commit comments

Comments
 (0)