dtfilter.tape (1408B)
1 # VHS tape for recording dtfilter demo GIF. 2 # Usage: vhs demo/dtfilter.tape 3 # 4 # Prerequisites: 5 # - dtcat and dtfilter binaries built and in PATH 6 # - Demo CSV files in demo/ 7 8 Output demo/dtfilter.gif 9 10 Set FontSize 14 11 Set Width 1100 12 Set Height 550 13 Set Padding 15 14 Set Theme "GruvboxDarkHard" 15 16 Set TypingSpeed 80ms 17 18 Set Shell "bash" 19 20 Hide 21 Type 'export PS1="> "' 22 Enter 23 Type "clear" 24 Enter 25 Show 26 27 # ─── 1. VIEW THE DATA ─── 28 Type "dtcat demo/sales.csv" 29 Enter 30 Sleep 3s 31 32 # ─── 2. FILTER ROWS ─── 33 Type "dtfilter demo/sales.csv --filter Region=East" 34 Enter 35 Sleep 3s 36 37 # ─── 3. NUMERIC COMPARISON ─── 38 Type "dtfilter demo/sales.csv --filter 'Revenue>12000'" 39 Enter 40 Sleep 3s 41 42 # ─── 4. MULTIPLE FILTERS (AND) ─── 43 Type "dtfilter demo/sales.csv --filter Region=East --filter 'Revenue>12000'" 44 Enter 45 Sleep 3s 46 47 # ─── 5. SELECT COLUMNS + SORT ─── 48 Type "dtfilter demo/sales.csv --columns Region,Product,Revenue --sort Revenue:desc" 49 Enter 50 Sleep 3s 51 52 # ─── 6. LIMIT OUTPUT ─── 53 Type "dtfilter demo/sales.csv --sort Revenue:desc --limit 3 --columns Product,Revenue" 54 Enter 55 Sleep 2s 56 57 # ─── 7. CONTAINS FILTER ─── 58 Type "dtfilter demo/sales.csv --filter 'Product~Widget A' --columns Date,Region,Revenue" 59 Enter 60 Sleep 3s 61 62 # ─── 8. CSV OUTPUT FOR PIPING ─── 63 Type "dtfilter demo/sales.csv --filter Region=West --csv" 64 Enter 65 Sleep 3s