Replace specifed name in the part of files to another name by bash script
for file in a_dir/*; do name="${file/test/verify}" mv "$file" "$newname" done
for file in a_dir/*; do name="${file/test/verify}" mv "$file" "$newname" done
#!/bin/bash # コピー元のフォルダとコピー先のフォルダを指定 source_folder="/path/to/source_folder" destination_folder="/path/to/destination_folder" # コピーする画像の枚数を指定 num_images_to_copy=5 # コピー元フォルダ内の画像ファイルを取得 image_files=("$source_folder"/*.jpg "$source_folder"/*.png "$source_folder"/*.gif) # コピー先フォルダが存在しない場合、作成する mkdir -p "$destination_folder" # 指定した枚数の画像をコピー…
Init Initialization pull schema file from DB Development synchronize db Generate Migration SQL Generate Prisma Client. The client is generated…
sudo dmidecode sudo dmidecode -t memory | grep ‘Size’
Trouble occurred in Kubernetes. Most of the pods ended up in the “evicted” status. When checking the pod’s state with…
Load storage_context from Redis Config is here The easiest way to launch Redis is here. Load llama-index from storage_context
What is Markdown Format What is Markdown Format? Markdown is a lightweight markup language based on text that provides a…
How to get articles using REST API Using Markdownify in order to convert html markdownify is a good library to…
Code His Response Sure, here’s one for you: Humans and Dogs Two species, yet so alike,Both with hearts that beat…
Member Variables in ServiceContext The function to return a SeviceContext