はてなブックマーク

概要 Streamlit という Python のWEBアプリケーションフレームワークを動かすための環境をAWS上に作ったのですが、とにかく詰まりに詰まったので覚えている範囲で記録を残しておこうと思います。誰かしらのお役に立てば幸いです。 ということでいってみましょう。 EC2環境 Amazon Linux 2 Apache 2.4.54 Python 3.7(Amazon Linux 2 に最初から入っていた) インフラ構成 大まかにはこんなかんじですが特に凝ったことはしていません。 アベイラビリティゾーンやパブリックサブネットは実際は複数ありますが、本筋にあまり関係ないのでここでは省略してます。 唯一の注意点として、 ロードバランサーを置く場合は必ず Application Load Balancer を使ってください。 理由は、Streamlit はページ上に表示するメインコンテンツ

はじめに 最近、GitHub Actions を使ってとある作業を自動化した際のことです。 作業はスケジュールで実行するようにしていたのですが、意図した時間ではなく多少ズレて実行されていました。(厳密な実行時間は記録していなかったので不明ですが15分以上ズレていたと思われます。) 私の使用用途では1日1回ちゃんと動いてくれていれば別に何時でも問題ないようなものなので特に大勢に影響はないのですが、気になったので少し調べてみました。今日はそんな話です。 調査用CI 日付時間を出力するだけのミニマムなCIを調査用に作りました。これを使って調べてみます。 name: CI on: # UTCなので実際は朝9時の実行を期待 schedule: - cron: "0 0 * * *" # 手動実行用の記述 workflow_dispatch: jobs: execute: runs-on: ubunt

きっかけ 社内で使っている pull request のテンプレートがあり、各人でブックマークレットや、Using saved replies などを利用してテンプレートを適用しているのですが、テンプレート原本の内容がちょいちょい更新されるので、人によって使っているテンプレートが古いままだったりすることがありました。 それを解消する方法はないものかなーと思っていたところ、GitHubのIssue・Pull Requestのテンプレート機能を使おう の記事を見つけました。 問題自体はこれで解決しましたが、ふと pull request のテンプレートを複数使いたい場合はどうすればいいんだろう？という疑問が浮かびました。調べてみたところ公式に書いてありましたので本日はそれをまとめてみたいとおもいます。 ※なお、今回は pull request に話を限定します。 テンプレートが1つだけでいい場

本稿は Git Advent Calendar 2019 の12日目の記事です。 昨日の記事は @miiina016 さんによる ブランチを切ってinitialコミットまでするalias でした。 概要 こんにちは。とつぜんですが、みなさまは GitHub で以下のようなものを見かけませんでしょうか。 ↓こんなのとか ↓こんなのとか ※画像は Laravel先生の公式リポジトリ からお借りしました。 なんというかこんな風にバージョン6.5.2とか書かれると プロっぽさ というか 製品感がある というか。とにかく 見た目カッチョイイ ですよね(語彙力 これっていったいどうやってるんだろうと思って少し調べてみたところ、実はごく簡単な方法で実現ができるということがわかりました。そんなわけで今日はその方法を紹介してみたいとおもいます。 適当なリポジトリをつくります 単に私が検証用のリポジトリを用意

はじめに 開発作業中に 他ブランチのあのコミットだけこっちにもマージしたい...!! 他ブランチのあのファイルだけこっちにもマージしたい...!! なんてことはないでしょうか？ 今日はそんな方法を紹介してみたいと思います 1. git cherry-pick で他ブランチのコミットを取り込む 1つめの方法は git cherry-pick コマンドを使う方法です。 git cherry-pick とは？ 既存の特定のコミットを自分のブランチに取り込むことができる というコマンドです。 書式はこうです。

概要 どうもこんにちは。既視感のあるタイトルです。(以前に似たようなタイトルの記事を書いたせいですね。) 今日は久しぶりの Git 系の記事いってみます。タイトルのとおりお題は git status についてです。 Git を使ったことのある方々にはお馴染みのコマンドかと思います。 git status って？ 軽く説明します。釈迦に説法と思われた方は読み飛ばしてください^^; 公式ドキュメントでは以下のように説明されています。 Git - git-status Documentation Displays paths that have differences between the index file and the current HEAD commit, paths that have differences between the working tree and the in

概要 みなさまは git checkout -t を使ったことはありますか？これを使うと既存のリモートブランチをローカルに作成する作業が少し楽になります。 以下の3つのコマンドは全て同じ結果になります。リモートブランチから新しいブランチをローカルに生成し、さらにそのブランチへ移動する という動作をさせるコマンドです。 branch + checkout 最初に覚えたのはこれです。 git branch proj/exampleWorks origin/proj/exampleWorks git checkout proj/exampleWorks

やり方 本来、新しいディレクトリを git 管理し、GitHub へ反映するには下記のような手順が必要です。 ローカルで新しいディレクトリを作成 中にファイルを置く ファイルを git add する ファイルを git commit する git push する しかし、前述のキャプチャの方法ならブラウザさえあれば GitHub上で全て完結できます。ローカル作業が面倒なときはお試しください。用途例としては、プロジェクトブランチに共用のディレクトリだけを先に用意する、みたいなときによく使います。 説明 Create new file をクリックして、ファイル名を path/to/.gitkeep という名前で作成します。すると、スラッシュで区切られたところはファイル名ではなくディレクトリ名として扱われ、path/to ディレクトリ内に .gitkeep というファイルが作成されます。このとき

2019/07/13 追記 ログイン中でも通報できるようになったようです！ @yama-t さん、情報ありがとうございました！ というわけでこの記事は御役御免となりましたが、一応記録ということで残しておきたいとおもいます。 以下はもう読まなくても大丈夫です。 はじめに 普段はあまり出番のない話です。 まれにスパムっぽいコメントを見かけることはないでしょうか。記事単位の通報は簡単にできますが、コメント単位での通報はちょっと手順にクセがあったので記録を残しておきたいと思います。 手順 ログアウト します。 コメントの横に通報ボタンが現れますので下記操作で通報できます。 おわり。 追加情報 ログアウトするのが億劫な場合は、シークレットウィンドウや別ブラウザを使うとログアウトしなくて済みます。 (@sax_ さん、コメントありがとうございました。) 最後に ログインしたまま通報できれば一番いいんで