pogin503

/todo - プライベートToDo追加コマンド

使用法

/todo <タスク内容> [優先度]

例

/todo APIエンドポイントのテスト追加

pogin503

PS D:\repo\github.com\forked-from-1kasper\ground_zero_2> make
lake script run updateIndex
info: GroundZero: no previous manifest, creating one from scratch
info: toolchain not updated; already up-to-date
lake build
⚠ [50/96] Built GroundZero.Exercises.Chap2
warning: .\.\.\.\GroundZero\Exercises\Chap2.lean:204:15: declaration uses 'sorry'
✖ [51/96] Building GroundZero.Theorems.Nat
trace: .> LEAN_PATH=.\.\.lake\build\lib\lean d:\.local\share\elan\toolchains\leanprover--lean4---v4.18.0\bin\lean.exe -Dlinter.deprecated=false -Dlinter.unusedVariables=false -DrelaxedAutoImplicit=false -DautoImplicit=false .\.\.\.\GroundZero\Theorems\Nat.lean -R .\.\.\. -o .\.\.lake\build\lib\lean\GroundZero\Theorems\Nat.olean -i .\.\.lake\build\lib\lean\GroundZero\Theorems\Nat.ilean -c .\.\.lake\build\ir\GroundZero\Theorems\Nat.c --json
error: Lean exited with code 3221225477

pogin503

# launchpadにあったgnuclad-0.2.4.tar.gzのログ
# https://launchpad.net/gnuclad/trunk/0.2/+download/gnuclad-0.2.4.tar.gz

> wget https://launchpad.net/gnuclad/trunk/0.2/+download/gnuclad-0.2.4.tar.gz
--2025-03-01 16:02:18--  https://launchpad.net/gnuclad/trunk/0.2/+download/gnuclad-0.2.4.tar.gz
launchpad.net (launchpad.net) をDNSに問いあわせています... 185.125.189.223, 185.125.189.222, 2620:2d:4000:1009::3ba, ...
launchpad.net (launchpad.net)|185.125.189.223|:443 に接続しています... 接続しました。
HTTP による接続要求を送信しました、応答を待っています... 303 See Other
場所: https://launchpadlibrarian.net/67917208/gnuclad-0.2.4.tar.gz [続く]
--2025-03-01 16:02:20--  https://launchpadlibrarian.net/67917208/gnuclad-0.2.4.tar.gz

pogin503

PS D:\01_Project\rails-sample> docker-compose up
[+] Running 2/0
 ✔ Container rails-sample-db-1   Running                                                                                                                         0.0s
 ✔ Container rails-sample-web-1  Created                                                                                                                         0.0s
Attaching to rails-sample-db-1, rails-sample-web-1
rails-sample-web-1  | => Booting Puma
rails-sample-web-1  | => Rails 7.1.3.2 application starting in production
rails-sample-web-1  | => Run `bin/rails server --help` for more startup options
rails-sample-web-1  | Exiting
rails-sample-web-1  | /usr/local/bundle/ruby/3.2.0/gems/railties-7.1.3.2/lib/rails/application.rb:658:in `validate_secret_key_base': Missing `secret_key_base` for 'production' environment, set this string with `bin/rails credentials:edit` (ArgumentError)

pogin503

# bash etc
jupyterlab.sh 8888 /Volumes/ext_SSD/ \
    1>> /Users/${USER}/var/log/jupyter/jupyterlab.log \
    2>> /Users/${USER}/var/log/jupyter/jupyterlab.err.log &

# fish
jupyterlab.sh 8888 /Volumes/ext_SSD/ \
    1>> /Users/{$USER}/var/log/jupyter/jupyterlab.log \
    2>> /Users/{$USER}/var/log/jupyter/jupyterlab.err.log &

pogin503

Fri Aug 7 21:59:21 UTC 2020

pogin503

Thu Apr 30 14:31:03 UTC 2020

pogin503

(defun nabeatsu (n)
  (loop for i from 1 to n
        collect (let ((i-str (number-to-string i)))
                  (cond
                   ((= (% i 3) 0)
                    (concat i-str "!"))
                   ((string-match-p "3" i-str)
                    (concat i-str "!"))
                   (t i-str)))))

pogin503

#!/usr/bin/env bash
TABLES="table1 table2 table3"

str=$(IFS=' '; for x in $TABLES; do printf " -t %s" "$x"; done)
echo "$str"

#=>  -t table1 -t table2 -t table3

pogin503

#!/usr/bin/env bash

set -eu
# set -x

# shellcheck source=env.sh
. env.sh

mkdir -p $OUTPUT_DIR
echo "DROP DATABASE IF EXISTS $DBNAME;" | psql --username="$USERNAME" -h "$HOST" template1