0. 今までと同じようにImageScan! for Linux+ドライバをインストールしても接続できない。
「スキャナにコマンドを転送できません。スキャナの状態を確認してください。」
まずは、原因を探ってみる、参考は次。
Ubuntu SANE その2 – スキャナーの検出を行う・スキャナーのテストを行う
“EPSON GT-S620がUbuntu 18.10で認識されない。” の続きを読む
Ubuntu 18.10でmono実行環境をインストール
次で18.04のリポジトリを追加する。
Download
https://www.monodevelop.com/download/
(1) Add the Mono repository to your system
Ubuntu 18.04 (i386, amd64, armhf)
$ sudo apt install apt-transport-https dirmngr
$ sudo apt-key adv –keyserver hkp://keyserver.ubuntu.com:80 –recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
$ echo “deb https://download.mono-project.com/repo/ubuntu vs-bionic main” | sudo tee /etc/apt/sources.list.d/mono-official-vs.list
$ sudo apt update
実行環境だけなら、インストールするのは次で良いはず。
$ sudo apt install mono-runtime
Ubuntu Gnome 18.10 トップバーの日付表示がおかしい
次に従って、修正(?)する。
Ubuntu 18.04 のトップバーの時計の表示形式を変更する@Sickly Life Blog
「西暦/月/日 (曜日) 時:分 という表示にしたい場合」の方法で、
【2019/01/12 (土) 20 : 33】のような表示にできました。
Google Home Mini復活。
ネット環境が復旧
9/ 2 引越し、このころNTT西日本に工事依頼
9/22 NTT見積、
10/28 NTT工事、光回線開通、プロバイダと繋がらず、
11/ 3 プロバイダとの契約更改完了、NTTに無線LANオプション申し込み。
11/10 無線LANオプション到着。
とまぁ、2ヶ月かかって定常状態になりました。
プロバイダとの更改と無線LANは、私のうっかりですけれど。
今のアパートは社宅でルームシェアなので、Google Home [Mini|] は、どう使おうかなぁ。
GPD PocketのOS更新
ずっとUbuntu 17.04使ってましたが、次が出たので試してみました。
Ubuntu MATE for the GPD Pocket and GPD Pocket 2
えっと、特に問題もなく、インストール出来ました。
MATEは軽くていいのですが、私はgnomeに慣れているので、結局は
> sudo apt install gnome
普通のgnome環境にしました。
ちょっと修正
Android ランチャーの更新
昨日からPixel Launcherがエラーで落ちるようになったので、最新版を探して更新した。
amirzaidi/Launcher3
インストールしたのは3.6
ついでに、現在のアプリの配置をメモ。
“Android ランチャーの更新” の続きを読む
ImageMagickでPDFに変換、ページが多い場合は
jpegからPDFを作る時は、
$ convert *.jpg xxx.pdf
なのですが、jpegの数が多いとエラーが次のように出た。
convert-im6.q16: DistributedPixelCache ‘127.0.0.1’ @ error/distribute-cache.c/ConnectPixelCacheServer/244.
convert-im6.q16: cache resources exhausted `yyy.jpg’ @ error/cache.c/OpenPixelCache/3945.
…
“ImageMagickでPDFに変換、ページが多い場合は” の続きを読む
も少しラジオを聴きやすくする その3
プレイリストは次を生成。
1. 全てのラジオ プログラムのリスト
2. 年ごとのリスト
3. 直近50プログラムのリスト
4. 阿澄佳奈さん関連のリスト
この内、3.は直近1週間のリストを代替するもの。
以上で、手作業で行っていたリスト作成をスクリプトに置換した。
約6,000トラックで生成完了に約20分。
このくらいなら、バックグラウンドで毎日実行しても問題ないレベルかな。
# 2018. 7.27 追記: サーバで実行したら5分程度になりました。
“も少しラジオを聴きやすくする その3” の続きを読む