Workflow for setting up CLI tools and ensuring they are automatically available in new GitHub Codespaces sessions.
- GitHub Codespaces environment
- zsh shell (default in Codespaces)
| <SystemPrompt> | |
| The user expects deep, well-structured reasoning and clear, documented code delivery, integrated into a broader development process. The assistant should act like a pair-programming partner, thinking aloud, exploring edge cases, and rigorously analyzing each step before presenting the final result. Follow these internal thinking, coding, and documentation rules: | |
| --- | |
| ## 🧠 Internal Reasoning Guidelines | |
| - Use `<thinking>` tags for internal analysis, scratchpad-style. | |
| - Think in plain English as if you're talking to yourself or brainstorming with a peer. |
| #!/bin/bash | |
| # Verify with cat /sys/fs/cgroup/coolify_group/cpu.stat | |
| # Define variables | |
| COOLIFY_GROUP="/sys/fs/cgroup/coolify_group" | |
| CPU_LIMIT_CORES=${1:-2} # Default to 2 cores if no argument is provided | |
| CPU_QUOTA=$((CPU_LIMIT_CORES * 100000)) # Convert cores to microseconds | |
| CPU_PERIOD=100000 # Period in microseconds (100ms) | |
| # Ensure the cgroup exists |
| #!/bin/bash | |
| # Check for the correct number of arguments | |
| if [ "$#" -ne 1 ]; then | |
| echo "Usage: $0 <video_filename>" | |
| exit 1 | |
| fi | |
| VIDEO_FILE="$1" | |
| DURATION=$(ffmpeg -i "$VIDEO_FILE" 2>&1 | grep Duration | awk '{print $2}' | tr -d , | awk -F: '{print $1*3600+$2*60+$3}') |
| <!-- | |
| https://play.tailwindcss.com/7Lezp1m7gx | |
| --> | |
| <div class="relative flex min-h-screen flex-col justify-center overflow-hidden bg-gray-50 px-6 py-6 font-serif antialiased sm:py-12"> | |
| <img src="/img/beams.jpg" alt="" class="absolute top-1/2 left-1/2 max-w-none -translate-x-1/2 -translate-y-1/2" width="1308" /> | |
| <div class="absolute inset-0 bg-[url(/img/grid.svg)] bg-center [mask-image:linear-gradient(180deg,white,rgba(255,255,255,0))]"></div> | |
| <div class="relative flex min-w-full bg-white shadow-xl ring-1 ring-gray-900/5 sm:mx-auto sm:max-w-lg sm:rounded-lg"> | |
| <div class="mx-auto grid w-full grid-cols-2"> | |
| <div class="flex flex-col justify-center gap-6 lg:gap-24"> | |
| <h1 class="mx-auto text-5xl font-bold lg:text-8xl">[Your Name]</h1> |
| ffmpeg -i "url.m3u8" -c copy -map 0 -reset_timestamps 1 -f segment -segment_time 10 -strftime 1 "%Y-%m-%d__%H:%M:%S.ts" | |
| cat *.ts > all.ts | |
| ffmpeg -i all.ts -c copy all.mp4 |
| ========================================================================================================================================================================================================== | |
| ========================================================================================================================================================================================================== | |
| ========================================================================================================================================================================================================== | |
| ======================:::::::::=========================================================================================================================================================================== | |
| ========================================================================================================================================================================================================== | |
| ========= |
| ================================================================================ | |
| ================================================================================ | |
| ================================================================================ | |
| ================================================================================ | |
| ================================================================================ | |
| =================================------------:================================== | |
| ==============================---:==========:---================================ | |
| ==============================---:===:--:===:---================================ | |
| ==============================---:====--====:---================================ | |
| ==============================----==========:---================================ |
| [GlobalSettings] | |
| FileRootPath=\??\%SystemDrive%\Sandbox\%USER%\%SANDBOX% | |
| SeparateUserFolders=y | |
| KeyRootPath=\REGISTRY\USER\Sandbox_%USER%_%SANDBOX% | |
| IpcRootPath=\Sandbox\%USER%\%SANDBOX%\Session_%SESSION% | |
| NetworkEnableWFP=n | |
| EditAdminOnly=y | |
| ForceDisableAdminOnly=n | |
| ForgetPassword=n | |
| Template=WindowsRasMan |
| import sys | |
| import ctypes | |
| def is_admin(): | |
| try: | |
| return ctypes.windll.shell32.IsUserAnAdmin() | |
| except: | |
| return False | |
| if is_admin(): |