Linux

mp4 動画ファイルの gif化 / mp3 → wav

oplern.hatenablog.comここが参考になる。ffmpeg を使う。 例えば $ ffmpeg -i a.mp4 -an -r 30 -s 300x328 -f gif a.gif -r 30 はフレームレート、-s はリサイズ(いらないかも)など。 音声の変換 qiita.commp3 → wav はこんな感じ。 $ ffmpeg -i shot1.mp…

'libva-drm.so.1' がないというエラー

Linux Mint 19 にして ffmprg を使おうとしたところ ffmpeg: error while loading shared libraries: libva-drm.so.1: cannot open shared object file: No such file or directoryのエラーが出る。ぐぐってもよくわからない。たぶん Mint のアップグレード…

Linux Mint 19 へのアップグレード

まず、ディスプレイマネージャが LightDM になっているかの確認が必要なようです。わたしの場合は $ cat /etc/X11/default-display-manager で /usr/sbin/mdm だったので、変更が必要でした。 $ apt install lightdm lightdm-settings slick-greeter $ apt r…

UEFI と grub あたりのメモ

nort-wmli.blogspot.comここを参考に…。 $ su パスワード: tomoki-VJF152 tomoki # cd /boot/efi tomoki-VJF152 efi # ls BCD.LOG EFI boot-sav tomoki-VJF152 efi # cd EFI tomoki-VJF152 EFI # ls Boot Microsoft VAIO ubuntu tomoki-VJF152 EFI # ls Boot…

記録メディアをまるごとコピーする(Linux)

正確にはコピーではなくて、パーティション情報も含めてメディア(例えば USBメモリ)をまるごとクローンする。 $ sudo dd if=/dev/sdc of=/dev/sdd みたいな感じ。ただし、この場合だと sdc よりも sdd の容量が多いか同じである必要がある。それから、本当…

Linux Mint(Ubuntu)でパッケージリストをバックアップする

バックアップ。 $ sudo dpkg --get-selections > /home/user/package.selections リストア。 $ sudo dpkg --set-selections /home/user/package.selections && apt-get dselect-upgrade みたいな感じ。ここからコピペしました。 新規インストールしたUbuntu…

Linux でスワップが有効にならない

Linux でスワップ領域をちゃんと取ったのに、スワップが有効にならない場合があります。ここでコマンドの swapon で $ swapon /dev/sda2 などとするとスワップ領域を有効にできます。ただし、これではまた起動時にスワップ領域が無効のままになることがあり…

.conkyrc 設定メモ

基本的にここの設定を使わせてもらいました。ありがとうございます!コンフィグ設定と変数設定。 https://github.com/brndnmtthws/conky/wiki/Configuration-Settings https://github.com/brndnmtthws/conky/wiki/Configuration-Variables conky.config = { …

Linux の Shutter の「編集」ができない

Linux のスクリーンショットを撮るソフトに Shutter というものがありますが、Linux Mint 18.3 で使ってみようとしたところ、「編集」の機能が使えなかったので調べてみました。How To Fix Disabled Edit Option In Shutter in Ubuntu 18.04 & Mint 19 基本…

Lubuntu 18.04 をインストール

ダウンロードはここから。Torrent を使うと速くダウンロードできます。インストールは特にむずかしいことはなし。ここなどを参考にして下さい。先にネット接続をしておいて、必要なソフトを自動でダウンロード&インストールしてくれるようにしておくとよい…

tty で日本語を表示する

fbterm を入れる。 $ sudo apt install fbterm tty で次を実行。 $ sudo fbterm ただしこのままだとフォントサイズが小さくて見にくいかも知れない。そのときは ~/.fbtermrc を編集する(Ubuntuの場合)。 font-names=Ubuntu mono font-size=20 とかいう感じ…

elementary OS 0.4.1 Loki をインストール

インストール・ファイルはここからダウンロードします。「価格はあなた次第」とありますので、お金を払ってもよいという人は手続きして下さい。無料で使いたい場合は「カスタム」を選択し、0 を入力してインストールすればいいです。インストールそのものは …

古い Linux Kernel をインストールする

Ubuntuでのカーネルのダウングレード - ひよっこエンジニアの日記 この記事が参考になる。 apt でインストール可能な linux-image の一覧。「generic」を選ぶならこんな感じ。 $ apt-cache search linux-image | grep genericインストールは例えば $ sudo ap…

Linux Mint(Ubuntu)で自作のアプリケーションを登録する

まず .desktop ファイルを作る。clock.desktop [Desktop Entry] Name=Clock Comment=Colck Exec=/home/tomoki/Desktop/時計 Type=Application StartupNotify=false Name[ja_JP]=時計 Categories=Utility;こんな感じ。「Exec=***」のところに実行するコマンド…

Linux Mint Cinnamon でセッションからログアウトする

[SOLVED] How do I log out via terminal? ここが参考になった。 端末エミュレータから logout する。 $ gnome-session-quit --no-prompt で OK。ヘルプ。 $ gnome-session-quit -h Usage: gnome-session-quit [OPTION...] Help Options: -h, --help Show he…

Geany の端末が表示されない

$ sudo apt-get install libvte9 Ubuntu日本語フォーラム / Geanyに端末がありません

Linux Mint 18.3 へアップグレード

How to upgrade to Linux Mint 18.3 アップグレードの前にシステムのスナップショットを取っておくとよいというので、導入する。これでアップグレードによって不具合が出ても、簡単に元の状態に復帰できるということである。 $ sudo apt update $ sudo apt i…

Ubuntu Budgie 17.10 へのアップデート

17.10 Release Notes | Ubuntu Budgie リリースノート。 Ubuntu Budgie 17.10 その4 - アップグレード時の注意事項 - kledgeb 日本語情報ではここが参考になる。まず $ sudo apt install ubuntu-budgie-desktopをやっておけとのこと。

Ubuntu 17.10 リリース

早速アップグレードしてみた。まだ時々クラッシュする。ウィンドウは Unity から Gnome に。インプットメソッドは Fcitx よりも IBus にすべきらしい。Mozc は IBus でも使える。ただし、サジェストの位置が時々変だが、直し方がわからない。 Bug Rubyインタ…

apt-get update で GPG エラーなど多数が発生

W: GPG エラー: http://ppa.launchpad.net/danielrichter2007/grub-customizer/ubuntu xenial InRelease: 公開鍵を利用できないため、 以下の署名は検証できませんでした: NO_PUBKEY ***** E: リポジトリ http://ppa.launchpad.net/danielrichter2007/grub-c…

Linux で Swift のオレオレ import は使えるのか

メモ。 Google検索Package Manager swiftのREPLで俺モジュールをimportする方法 Swift on Linux - importing third-party modules - Stack Overflow

画像のリサイズ(ImageMagick)

すべてリサイズして置き換え。 $ mogrify -resize 90% *.jpgもとの画像を消したくなければ $ convert を使う。※参考 google検索 Ubuntu忘備録: 複数画像の一括リサイズをコマンドラインで行う最小コマンド(ImageMagickのみ) コマンドラインで画像を縮小する…

Linux Mint Japan のページにアクセスできない

http://linuxmint-jp.net/ 自分はこの現象はだいぶ前からなのだが、同じような人がいることがわかったのでメモ。どうしてつながらないのかは謎である。ついでに、日本語フォーラムにもアクセスできない。 https://plaza.rakuten.co.jp/pattleene/diary/20170…

CD RIP, 動画→音声 などなど

●CD RIP Banshee の「インポート」でOK。●動画→音声 Selene Media Encoder $ sudo apt-add-repository -y ppa:teejee2008/ppa $ sudo apt-get update $ sudo apt-get install seleneLinuxの与太話: 動画ファイルからMP3ファイルへ抽出、selen Media Encoder●…

動画の連結

ffmpeg を使う。連結する動画のファイル名から、以下のようなテキストファイルを作る。パスはフルパスを指定。 input.txt file '/home/***/Documents/Ruby/video/sample1.mp4' file '/home/***/Documents/Ruby/video/sample2.mp4' file '/home/***/Documents…

Linux Mint(Ubuntu)で SimpleScreenRecorder を使う

Linux Mint で使える画面録画ソフトとして、SimpleScreenRecorder というものを使ってみました。Linux Mint 18.2 で確認しました。以下のサイトが参考になります。 Ubuntuの画面録画が簡単にできるSimpleScreenRecorderのインストール方法と使い方 - Ry0 Not…

apt で google の更新に失敗する + 「破損パッケージ」

Linux Mint 18.2 でパッケージのアップデートに失敗します。 署名照合中にエラーが発生しました。リポジトリは更新されず、過去のインデックスファイルが使われます。GPG エラー: http://dl.google.com/linux/chrome/deb stable Release: 公開鍵を利用できな…

「最長片道切符」を算出することについてのメモ

このところ探索問題を続けて解いて(迷路、エイト・クイーン)、ふと「最長片道切符」が気になった。僕は「最長片道切符」のことを、多くの人と同じであろう、宮脇俊三氏の『最長片道切符の旅』で知った。試しに「最長片道切符」でぐぐってみると、興味深い…

Linux(Ubuntu) で CPU のベンチマークを実行する

昔からあるらしい、UnixBench というものを使ってみる。Linux Mint 18.1 と Ubuntu 17.04 で確認。インストールと実行は $ wget https://storage.googleapis.com/google-code-archive-downloads/v2/code.google.com/byte-unixbench/UnixBench5.1.3.tgz $ tar…

RubyGem 'atk' が入らない

$ bundle update で謎のエラーが出る。Linux Mint 18。 Gem::Ext::BuildError: ERROR: Failed to build gem native extension. current directory: /home/tomoki/Documents/Ruby/vendor/bundle/ruby/2.3.0/gems/atk-3.1.6/dependency-check rake RUBYARCHDIR…