2024/10/22

Ubuntu 22.04 R + RStudio Installieren von Package "tidyverse" fehlgeschlagen

Package-Install auf RStudio fehlgeschlagen

Ich versuchte, auf der Console von RStudio das Paket "tidyverse" zu installieren; 

install.packages("tidyverse") Installiere Paket nach ‘/home/yasushi/R/x86_64-pc-linux-gnu-library/4.4’ (da ‘lib’ nicht spezifiziert) installiere auch Abhängigkeiten ‘textshaping’, ‘ragg’, ‘readxl’ ∙∙∙∙∙∙∙∙∙∙ * installing *source* package ‘textshaping’ ... ** Paket ‘textshaping’ erfolgreich entpackt und MD5 Summen überprüft ** using staged installation Package harfbuzz was not found in the pkg-config search path. Perhaps you should add the directory containing `harfbuzz.pc' to the PKG_CONFIG_PATH environment variable Package 'harfbuzz', required by 'virtual:world', not found Package 'fribidi', required by 'virtual:world', not found Using PKG_CFLAGS= Using PKG_LIBS=-lfreetype -lharfbuzz -lfribidi -lpng --------------------------- [ANTICONF] -------------------------------- Configuration failed to find the harfbuzz freetype2 fribidi library. Try installing: * deb: libharfbuzz-dev libfribidi-dev (Debian, Ubuntu, etc) * rpm: harfbuzz-devel fribidi-devel (Fedora, EPEL) * csw: libharfbuzz_dev libfribidi_dev (Solaris) * brew: harfbuzz fribidi (OSX) If harfbuzz freetype2 fribidi is already installed, check that 'pkg-config' is in your PATH and PKG_CONFIG_PATH contains a harfbuzz freetype2 fribidi.pc file. If pkg-config is unavailable you can set INCLUDE_DIR and LIB_DIR manually via: R CMD INSTALL --configure-vars='INCLUDE_DIR=... LIB_DIR=...' -------------------------- [ERROR MESSAGE] --------------------------- <stdin>:1:10: fatal error: hb-ft.h: Datei oder Verzeichnis nicht gefunden compilation terminated. -------------------------------------------------------------------- ERROR: configuration failed for package ‘textshaping’ * removing ‘/home/yasushi/R/x86_64-pc-linux-gnu-library/4.4/textshaping’ Warning in install.packages : Installation des Pakets ‘textshaping’ hatte Exit-Status ungleich 0 * installing *source* package ‘readxl’ ... ** Paket ‘readxl’ erfolgreich entpackt und MD5 Summen überprüft ** using staged installation ** libs using C compiler: ‘gcc (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0’ using C++ compiler: ‘g++ (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0’ ∙∙∙∙∙∙∙∙∙∙ cc1plus: some warnings being treated as errors make: *** [/usr/lib/R/etc/Makeconf:204: Read.o] Fehler 1 ERROR: compilation failed for package ‘readxl’ * removing ‘/home/yasushi/R/x86_64-pc-linux-gnu-library/4.4/readxl’ Warning in install.packages : Installation des Pakets ‘readxl’ hatte Exit-Status ungleich 0 ERROR: dependency ‘textshaping’ is not available for package ‘ragg’ * removing ‘/home/yasushi/R/x86_64-pc-linux-gnu-library/4.4/ragg’ Warning in install.packages : Installation des Pakets ‘ragg’ hatte Exit-Status ungleich 0 ERROR: dependency ‘ragg’ is not available for package ‘tidyverse’ * removing ‘/home/yasushi/R/x86_64-pc-linux-gnu-library/4.4/tidyverse’ Warning in install.packages : Installation des Pakets ‘tidyverse’ hatte Exit-Status ungleich 0 Die heruntergeladenen Quellpakete sind in ‘/tmp/RtmpLyVdTT/downloaded_packages’

Die Installation ist mit der oberen Fehlermeldung fehlgeschlagen. Es wurde versucht, erst die abhängigen Paketen 'textshaping','ragg' sowie 'readxl' zu installieren und Die Installation vom textshaping ist fehlgeschlagen. 

 

Lösung*

Wie im "ANTICONF" steht versuchte die oben genannten librarys zu  installieren; 

1. auf Terminal in Ubuntu

sudo apt install libharfbuzz-dev libfribidi-dev
2. auf die Console im RStudio
install.packages("textshaping", dependencies = TRUE) 

Nachdem das Paket 'textshaping' erfolgreich installiert wurde, wurden alle anderen auch erfolgreich installiert.

 


Diskussion

Erst habe ich auf den Terminal in Ubuntu folgenden Kommando eingegeben;
sudo apt install libharfbuzz-dev libfribidi-dev
Dann wieder auf die Console im RStudio;
install.packages("textshaping")

Schließlich kam aber eine ähnliche Fehlermeldung wie oben auf die Console. 

Die Lösung war, dass man nach dem ersten Kommando auf den Terminal in Ubuntu eingegeben hat, sollte auf die Console von RStudio 

install.packages("textshaping", dependencies = TRUE)

eingeben. 

Alternative Lösungen sind hier oder hier. Anscheinend werden für das Paket mehrere librarys im Betriebssystem benötigt. Sie können wir aus RStudio herausfinden**:

1. Gebe folgendes Kommando*** auf die Console im RStudio ein;

pak::pkg_sysreqs("tidyverse")

    oder wenn das paket pak noch nicht installiert wurde, erst

install.packages("pak")
library(pak)
pak::pkg_sysreqs("tidyverse")

         Das Kommando gibt ein Script für die Installation benötiger librarys zurück. z.B.;

── Install scripts ──────────────────────────────────── Ubuntu 22.04 ── apt-get -y update apt-get -y install libx11-dev libcurl4-openssl-dev libssl-dev make \ zlib1g-dev pandoc libfreetype6-dev libjpeg-dev libpng-dev \ libtiff-dev libicu-dev libfontconfig1-dev libfribidi-dev \ libharfbuzz-dev libxml2-dev

2. Gebe diese mit 'sudo' auf den Terminal in Ubuntu ein ;

sudo apt-get -y update
sudo apt-get -y install libx11-dev libcurl4-openssl-dev libssl-dev make \
  zlib1g-dev pandoc libfreetype6-dev libjpeg-dev libpng-dev \
  libtiff-dev libicu-dev libfontconfig1-dev libfribidi-dev \
  libharfbuzz-dev libxml2-dev

3. Gebe schließlich dies Kommando auf die Console im RStudio ein;

install.packages("textshaping")
 

Quelle und Bemerkung

 *    I am facing error while installing R package textshaping

**   tidyverse 

*** Auf der Webseite 'tidyverse' seht das Kommando 'pkg_system_requirements()' Das ist veraltet und ab der Version 0.6.0 (aktuell 0.8.0) sollte man anstatt das Kommando 'pkg_sysreqs()' anwenden.


 

 

 

2022/08/02

Ubuntu 20.04 RStudio 1+554 installieren

Was ist R und RStudio?

R ist eine freie Programmiersprache und Umgebung für Statistik und besteht aus einem Basisprogramm sowie einer Vielzahl von ergänzenden R-Paketen (engl. "packages") mit Funktions-Sammlungen. Das Basisprogramm umfasst aber keine grafische Benutzeroberfläche. (Ref. 1)

RStudio ist eine umfangreiche Entwicklungsumgebung für R mit einer Benutzeroberfläche. Die aktuelle Version des RStudios unter Ubuntu 20.04 ist 1.4.1103-4 (am 24.07.2022). (Ref. 2)

Upgrade zur neuesten Version von RStudio

Diese aktuelle Version unter Ubuntu 20.04 ist am 20.01.2021 aus der Hersteller veröffentlicht und ist nicht die neueste Version. Die neueste Version ist 2022.7.1+554 (am 25.07.2022). Wer die aktuelle Version unter Ubuntu 20.04 schon installiert hat, kann auf die neueste Version upgraden ; (Ref. 3)

sudo apt update
sudo apt upgrade
wget https://download1.rstudio.org/desktop/bionic/amd64/rstudio-2022.07.1-554-amd64.deb
sudo apt install -f ./rstudio-2022.07.1-554-amd64.deb

Referenzen

  1. https://wiki.ubuntuusers.de/R/
  2. https://www.rstudio.com/products/rstudio/release-notes/
  3. https://computingforgeeks.com/how-to-install-r-and-rstudio-on-ubuntu-debian-mint/

2022/07/16

Ubuntu 20.04 Driver für den WLAN-Adapter D-Link Wireless N 150 Pico (WDA-121) installieren

Der WLAN-Adapter D-Link Wireless N 150 Pico (WDA-121 rev B1) hat einen Chipsatz RTL8188EUS und diesen Chipsatz unterstützt Linux mit einem Treiber rtl8188eu. (Ref. 1 und 2) 

Installation des Treibers 

Es gibt mehrere Möglichkeiten, um den Treiber unter zu installieren. Hier zeige ich eine Methode dazu unter Ubuntu 18.04, 20.04, 21.10 sowie 22.04 (Ref. 3 und 4) und eine allgemeine Methode (Ref. 2, 5 und 6).

1. unter Ubuntu 18.04, 20.04, 21.10 sowie 22.04

Öffne den Terminal (Strg + Alt + T) und tippe folgenden Kommandos Zeile zu Zeile;
sudo add-apt-repository ppa:kelebek333/kablosuz sudo apt update sudo apt install rtl8188eu-dkms systemctl restart NetworkManager

2. allgemeine Methode

Öffne den Terminal (Strg + Alt + T) und tippe folgenden Kommandos Zeile zu Zeile;

sudo apt update sudo apt upgrade sudo apt-get -y install dkms build-essential git git clone https://github.com/lwfinger/rtl8188eu.git cd rtl8188eu make all sudo make install systemctl restart NetworkManager

Referenzen

  1. D-Link DWA-121 rev B1D-Link DWA-121 revB1
  2. CONFIG_R8188EU: Realtek RTL8188EU Wireless LAN NIC driver
  3. How to Install RTL8188EU, RTL8723DS or other rtlwifi Driver via PPA in Ubuntu 20.04 
  4. kablosuz-wireless
  5. / rtl8188eu  
  6. How to install RTL8188EUS driver on ubuntu 18.04

2022/02/14

WLAN-Problem mit Lubuntu 20.04 auf Acer Aspire ES1-111 series

Lubuntu 20.04 ist auf dem Notebook Acer Aspire ES1-111 series installierbar. Allerdings hat man WLAN-Problem. Zur WLAN-Verbindung braucht man den Treiber für den Chipsatz BCM43xx nachzuinstallieren;

Um eine Karte zu identifizieren, die vor dem Kauf in Ihrem Computer installiert war, öffnen Sie bitte ein Terminal und führen Sie Folgendes aus:

lspci -vvnn | grep -A 9 Network 

für Network controller 

    Chip ID                                                            Treiber
    BCM 4306 (rev 03), 4311, 4312, 4318, 4322, 
             4331, 43224 and 43225                                b43            
    BCM 4301, 4306 (rev 02), and 4309                     b43legacy
    BCM 4313, 43224 and 43225                                brcmsmac
    BCM 4329, 4330, 4334, 4335, 4354, 43143, 
             43241, and 43362                                         brcmfmac
    BCM 43143, 43242, 43566, and 43569                 brcmfmac
    BCM 4320                                                              rndis_wlan
    für alle                                                                    ndiswrapper

# Kommando der Informationen über WLAN-Verbinbung (Hier das Interface: wlan0)

      sudo iwconfig dhclient wlan0  

# Install Broadcom STA driver for BCM43227:

sudo apt-get update sudo apt-get install --reinstall linux-headers-generic build-essential dkms bcmwl-kernel-source sudo modprobe -r b43 ssb wl brcmfmac brcmsmac bcma sudo modprobe wl

# To install net-tools for the command ifconfug.

sudo apt-get install net-tools 
# Connect (press Fn+F3 to enable wifi if necessary first):
   (hier als Beispiel Interface: wlan0, Netzwerkname: MYSSID und Passwort: MyWifiPwd)
sudo ifconfig wlan0 up sudo iwlist wlan0 scanning sudo iwconfig wlan0 essid MYSSID key s:MyWifiPwd sudo dhclient wlan0 

Referenzen 

 

 

 


2022/02/05

Debian 11.2 on Asus Eee PC 901

Lubuntu19.04で32-bit architecture のサポート終了 (参照1)

Eee PC 901 のOSは Lubuntu 18.04 LTS。サポートは2021年4月まで。(参照2) Ubuntu ではバージョン19.04で32-bit architecture のサポートを終了する。だからUbuntuをベースにしている Lubuntu も19.04 で32-bit architecture のサポートを終了することになる。Ubuntuをベースにしている他の Linux (Linux-distribution) もいずれ32-bit architecture のサポートを終了することになる。Ubuntuをベースにしている Linux は多い。

Debian 11.2

32-bit architecture をサポートしているLinuxはまだいくつもあるが、今回はEee PC 901 にDebian 11を選ぶ。理由はDebian 11のLive-CDではWLAN以外はちょっともっさりしているが問題なく動くから。WLANなら non-free firmware packagesをインストールすれば使えるようになる。(参照3)

インストール

firmware-11.2.0-i386-DVD-1.iso を使用する。これならdebian11.2と一緒にfirmwareもインストール されるので、後からコンパイルする必要ない。(参照4)インストール手順はDebianInstaller (参照5) が参考になるかな。

 

参照

  1.  Intel 32bit packages on Ubuntu from 19.10 onwards
  2.  Lubuntu 18.04 LTS (Bionic Beaver) Released! 
  3.  Debian EeePC Model 901
  4.  Firmware
  5.  DebianInstaller 













Debian 11.2 + firmware
https://cdimage.debian.org/cdimage/unofficial/non-free/cd-including-firmware/11.2.0+nonfree/i386/iso-dvd/

Installing with the Debian-Installer
https://www.debian.org/devel/debian-installer/index.en.html 

firmware-11.2.0-i386-DVD-1.iso

 

2022/01/25

disable Secure Boot auf Aspire ES1-111 series

Secure Boot

Secure Boot ist eine Funktion des UEFI (Unified Extensible Firmware Interface), um den Start von Schadsoftware zu verhindern. Damit wird sein System vor Schäden und Manipulationen geschützt. Diese Funktion kann auch verhindern, das System durch sein Besitzer zu ändern.

Secure Boot auf Aspire ES1-111 series deaktivieren

Standardmäßig ist „Secure Boot“ in modernen PCs aktiviert. Die Funktion kann man als Supervisor im BIOS abschalten. Wer noch kein Passwort für Supervisor eingestellt hat, muss man zuerst das machen.

Passwort für Supersivor erstellen

  1. Schalten Sie das Notebook ein. Sobald der erste Logo-Bildschirm erscheint, drücken Sie sofort F2, um in das BIOS zu gelangen. 
  2. Navigieren Sie nun mit der rechten Pfeiltaste zu der Registerkarte "Security".

  3. Klicken Sie auf die Pfeiltaste nach unten, bis Sie bei dem Punkt "Set Supervisor Password" angelangt sind. 
  4. Drücken Sie auf "Enter" und geben Sie ein Passwort ein. Vermeiden Sie hierbei Umlaute, da das englische BIOS hiermit Probleme haben könnte. Klicken Sie anschließend auf "Enter". Wiederholen Sie das Passwort und drücken Sie erneut auf "Enter". 
  5. Navigieren Sie oben die Registerkarte "Exit" an und wählen Sie den Punkt "Exit Saving Changes". Bestätigen Sie die Abfrage mit "Yes".


Secure Boot deaktivieren

  1. Schalten Sie das Notebook ein. Sobald der erste Logo-Bildschirm erscheint, drücken Sie sofort F2, um in das BIOS zu gelangen. 
  2. Geben Sie das Passwort für Supervisor ein und drücken Sie "Enter".
  3. Navigieren Sie nun mit der rechten Pfeiltaste zu der Registerkarte "Boot". 

  4. Klicken Sie auf die Pfeiltaste nach unten, bis Sie bei dem Punkt "Secure Boot" angelangt sind. 
  5. Drücken Sie auf "Enter" und wählen Sie mit der Pfeiltaste den Punkt "Disabled" und drücken Sie erneut auf "Enter". 
  6. Navigieren Sie oben die Registerkarte "Exit" an und wählen Sie den Punkt "Exit Saving Changes". Bestätigen Sie die Abfrage mit "Yes".

Referenzen  

2019/04/22

Lubuntu 16.04 Treiber für den Chipsatz rtl8188CUS

Wenn man einen WLAN-Adapter an PC unter Ubuntus anschließt, funktioniert er oft ohne Aufwand. Leider ist der Adapter IWL 2000 nicht der Fall. Der funktioniert unter Lubuntu 16.04 nicht. Spätestens trifft das Problem ab Ubuntu 12.04 auf ( Siehe ). Nun brauche ich einen Treiber für den Adapter zu installieren.

Information über Chipsätze

Stecke erst der WLAN-Adapter an USB, öffne einen Terminal und tippe "lsusb".
Folgende ist es ein Beispielergebnis;
Bus 001 Device 002: ID 050d:11f2 Belkin Components ISY Wireless Micro Adapter IWL 2000 [RTL8188CUS]
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Das Apparat hat den Chipsatz rtl8188CUS. Wir brauchen einen entsprechenden Treiber für den Chipsatz zu installieren.

Methode 1  einen Treiber aus GitHub

Der Treiber auf der Webseite GitHub ist zwar für den Chipsatz rtl8192CU aber er ist kompatiebel zum Chipsatz rtl8188CUS.

Vorbereitung

Installiere zuerst benötige Softwares;
sudo apt-get update && upgrade
sudo apt-get install git linux-headers-generic build-essential dkms 

Installation

  1. Erstelle einen Ordner und dann klone Repositry in diesen Ordner (d.h. Gebe den Befehl "git clone", um einen gewunschten Treiber für den Chipsatz aus der Webseite GitHub herunterzuladen);
    mkdir Treiber
    git clone https://github.com/pvaret/rtl8192cu-fixes.git Treibers
    cd Treibers 
  2. Installiere den Treiber;
  3. sudo dkms add ./rtl8192cu-fixes
    sudo dkms install 8192cu/1.11
    sudo depmod -a
    sudo cp ./rtl8192cu-fixes/blacklist-native-rtl8192.conf /etc/modprobe.d/
  4. Neustarte den PC;

Fehlerbehebung

Falls die WLAN-Verbindung in paar Minuten unterbricht, kopiere folgende Files in /etc/modprobe.d/, um die power-management zu deaktivieren.
sudo cp ./rtl8192cu-fixes/8192cu-disable-power-management.conf /etc/modprobe.d/
Neustarten ist erforderlich;

Manchmal setzt Network Manager ein Gerät in einen Energiesparmodus, in dem es nicht genügend Energie zur Verbindung benötigt. Sie könnrn das Problem beheben wie folgt;
sudo leafpad /etc/NetworkManager/conf.d/default-wifi-powersave-on.conf
Ersetze den Wert des "wifi.powersave" von 3 durch 2 und neustarte den PC.

Methode 2  einen Treiber urtwn zu installieren

urtwn ist ein Treiber für den Chipsätze Realtek RTL8188CU/RTL8188RU/RTL8188EU/RTL8192CU unter dem Betriebssystem FreeBSD. Der treiber Ubuntu flavours (Varianten des Ubuntu, die auf Ubuntu basiert ) ist auf der Webseite.

 

2018/04/17

Daten vom Smartphone unter Android 6.0 auf einem PC übertragen.

Verbindungsproblem zwischen Smartphone und PC


Wer sein Smartphone unter Android 6.0 mit einem PC verbindet, lässt sich auf dem Smartphone gespeicherte Daten auf dem Bildschirm des PCs nicht zeigen. man sieht drauf nur ein leere Ordner.

Aufladen als Standardeinstellung 


Der Grund dafür ist die Standardeinstellung für die USB-Verbindung mit einem PC. Einstellungen für die USB-Verbindun sind;

Vor dem Android 6.0
  • Media Transfer Protocol (MTP) *
  • Picture Transfer Protocol (PTP)
Seitdem Android 6.0
  • Nur Aufladen
  • Media Transfer Protocol (MTP)
  • Picture Transfer Protocol (PTP) **
  • Musical Instrument Digital Interface (MIDI) ***
Unter vor Android 6.0 ist "MTP" standardmäßig eingestellt und unter ab Android 6.0 "Nur Aufladen".  Um Daten auf Speicherplatz eines Smartphones mit Android 6.0 anzeigen zulassen, braucht man diese Standardeinstellung auf MTP-Modus umzustellen. 

Standardeinstellung zu ändern


Methode 1
  • Smartphone mit einer USB-Kabel am PC anzuschließen.
  • Statusleiste von Android herunterziehen.
  • Auf "USB zum Aufladen" tappen.
  • Dateien übertragen (MTP) tappen.
Methode 2 (Falls Entwickleroptionen aktiviert ist)
  • "Entwickleroptionen" unter Einstellung tappen
  • "USB-Konfiguration auswählen" tappen
  • "MTP (Media Transfer Protocol)" tappen

Referenz

  1. Android 6 USB Verbindung herstellen
  2. Entwickleroptionen freischalten und wieder ausblenden bzw. deaktivieren
  3. * Media Transfer Protocol (MTP)
  4. ** Picture Transfer Protocol (PTP) 
  5. *** Musical Instrument Digital Interface (MIDI)

Viele von euch haben mal schon erlebt, Daten (beispielsweise Photos, Videos oder Dokumente) vom Smartphone unter Android auf einen PC zu übertragen, abzusichern oder einen Backup zu erstellen. Das hatte unter Android 5.0 problemlos geklappt. Man brauchte nur ein Smartphone mit einer USB-Kabel am PC anzuschließen.

Wie früher versuchte man auch so. Aber unter Android 6.0 ging es nicht. Daten auf Speicher des Smartphones lässt sich auf Bildschirm eines PCs nicht zeigen.   

2017/07/24

Ubuntu  14.04にUpgeade後に Error : file not found

Upgrade 後の起動時に Error message


Ubuntu 12.04のサポートが2017年4月末で終了するのでその前に Upgrade した。Upgrade自体はとくにエラーもなく1時間ほどで終了。Upgrade を反映させるために再起動をすると Grub が立ち上がるところで以下のエラーメッセージがでた。

Error : file not found
Error : file not found
Error : file not found

Press Any Key to Continue

ここで何かキーを押すとUbuntu 14.04 が起動し、特に不都合なし。しかし、このメッセージは毎回起動時に出てくる。



このエラーを解決するには


Terminal(端末) を起動して以下のコマンドを一行ずつ実行する。

  sudo grub-install /dev/sdX  (Xには a,b,c などのアルファベット文字が入る。*)
  sudo update-grub 
  sudo reboot


* Ubuntu では HDD や SSD などのドライブは sd と認識され、順番にそれぞれアルファベット文字と組み合わせて sda, sdb, sdc, ... と名前がつけられる。したがって、ここではOSがインストールされているドライブが sda と認識されているなら /dev/sda, sdb と認識されているなら /dev/sdb と入力すればよい。


エラーの原因


/boot/grub/grub.cfg の以下の部分をみるとその理由がわかる。
function load_video {
  if [ x$feature_all_video_module = xy ]; then
    insmod all_video
  else
    insmod efi_gop
    insmod efi_uga
    insmod ieee1275_fb
    insmod vbe
    insmod vga
    insmod video_bochs
    insmod video_cirrus
  fi
}
ここでは変数 feature_all_video_modul にnull以外の値が代入されていれば all_video.mod を、そうでないときには efi_gop.mod、efi_uga.mod、ieee1275_fb.mod、vbe.mod、vga.mod、video_bochs.mod、video_cirrus.mod をロードするように書かれている。つまり、
  • EFI system partition** がなく
  • feature_all_video_modul の値が null または値が代入されていないとき
上記の3つのエラーメッセージがでてくる。ieee1275_fb.mod 以外は /boot/grub/i386-pc フォルダ内に存在している。(参照:1,2)

** EFI system partition とはのパーティションの一つで、UEFIに準拠するコンピュータで使われる。UEFIとはOSとPCの各パーツのファームウェアとの接点の役割を記した仕様書であり、BIOS の役割を強化したソフトウェアまたはファームウェアといえる。(参照:5,6)


備考

 google で検索すると、Ubuntu 12.04 以降の Upgrade の後に起こる例が報告されている。正確は、上記の理由でBIOS を採用しているPCでUpgradeしたときにこのエラーメッセージがでる場合があるということだろう。しかし、現在 UEFI を採用するPCがほとんどだろうし、エラーメッセージが出ても何かきーを押せば通常どおりに起動するので、エラーは修正されないままだろう。


参照

  1. Grub errors: "File Not Found" repeated three times
  2. Where is documentation for [ x$feature_… = xy ] in grub.cfg? 
  3. "Error: file not found" when booting, then boots up anyway 
  4. Error while Booting Ubuntu 14.04
  5. EFIシステムパーティション
  6.  Unified Extensible Firmware Interfac

2017/05/25

Ubuntu  シェルスクリプトをダブルクリックで実行

Ubuntu 13.10 以降の標準では実行可能なファイルをダブリクリックしても、ファイルが開く設定になっている。これをダブルクリックで実行できるようにする。

1. 実行権限をあたえる

端末を開き、以下のコマンドで実行したいファイルに実行権限を与える。

chmod a+x dataname.sh

 

2. Nautilus の設定を変える

コマンドによる変更

実行権限を与えてもうまく行かない時には端末から以下のコマンドで Nautilus (Filemanager) の設定を変更する。

gsettings set org.gnome.nautilus.preferences executable-text-activation ask

GUIによる変更

  1. Nautilus を起動するし、編集 --> 設定 をクリック
  2. ダブ "動作" をクリックして、”実行可能なテキストファイル” の欄の "毎回確認する" を選択する。
  3. 右下の "閉じる" をクリック

参考

1. Ubuntu 13.04 Shellscript startet nicht Doppelklick

2. Nautilus







2016/11/26

Ubuntu  電源が入らなくなったときのトラブル対策

突然1号機の電源が入らなくなった。先週までは何事もなく稼働していたのに、スイッチを押しても何の反応もない。

電源が入らなくなったときのトラブル対策

ここでは
  • 買ってきたばかりのPCが起動しない、
  • PCを組み上げたが起動しない、または
  • パーツの交換後に起動しなくなった
という場合は想定していない。ここではあくまで、
  • 正常に稼働していたPCの電源がある日突然入らなくなった
場合の対処法についてまとめた。


1. ケアレスミス
電源が入らない原因が故障ではなく単なる不注意であることが多い。まず、以下の確認をしておこう。
  • 電源ケーブルはしっかりと接続されているか
  • ケーブルが十分に刺さっていなかったり、ぬけかかっていると通電しないことがある。または、電源ケーブルがコンセントに刺さっていない事もある。
  • コンセントには通電しているか
  • コンセントが故障して通電しない事がある。また、延長コードをつかっている場合にはコンセントのスイッチがOFFになっている事もある。
  • 電源ユニットのスイッチはONになっているか
  • ”ー” がON で、”○” がOFF。スイッチの場所によっては何かが当たってスイッチがOFFになってしまう事がある。

2. 各種パーツの点検
ケアレスミスが無いならば、各種パーツの点検にはいる。電源が入らない場合には電源ユニットかマザーボードが故障している場合が多い。ATX仕様の電源はスタンバイ・サスペンド用の5Vを常時給電する仕組みになっているので、マザーボード上に通電ランプがある場合はそれを手がかりに問題を切り分ける目安になる。
通電ランプ(赤)が点灯している例。色はマザーボードによって異なる。

  • 通電ランプは点灯しているか 
  • 通電ランプが
    • 点灯していない → 電源ユニットマザーボードに問題がある可能性
    • 点灯している  → それ以外のパーツに問題がある可能性
    に問題がある可能性が高い。しかし、この通電ランプは5Vの給電にのみ反応するので、それ以外の給電に問題があるかどうかはこのランプからは判断できない。そこで以下のような確認作業を行う。なお、この先パーツをはずしたり接続したりするが、その時には必ず電源ユニットのスイッチを切ってから行うことを忘れずに。

    点灯していない
    電源ユニットとマザーボードのみの状態にして通電ランプは点灯するかしないかを確認する。点灯しなければ電源ユニットかマザーボードに問題があるといえる。もし点灯したら、その他のパーツを一つずつ接続していって通電ランプが点灯するか確認する。これによって問題のあるパーツを特定できる。
    点灯している
    電源ユニットとマザーボード以外のパーツを一つはずすごとに電源が入るか確認する。電源が入いれば直前にはずしたパーツ以外をを一つ接続するごとに電源がはいるか確認する。この作業を繰り返すことによって問題のあるパーツを特定できる。もし電源ユニットとマザーボード以外のパーツをすべてはずしても電源が入らないなら、この二つのいずれかに問題があることになる。

電源ユニットかマザーボード (またはCPUも含めて) に問題がある場合、代替のパーツが無ければ原因の特定は難しい。しかし、電源ユニットかマザーボードの場合については以下の方法で特定できる場合がある。

  • 電源ユニットの点検(ATX電源)
  • まず、電源ユニットのすべてのコネクターを抜いておく。
    ATX20ピンの場合
    PS_ON(14番:グリーン)とCOM(13番:ブラック もしくはそれ以外のCOM,3,5,7,15,16,17番:ブラック)を直結して電源ユニットの電源を入れる。これで電源ユニットのファンが回らなければ電源の故障、回れば電源ユニット以のの故障の可能性が高い。

    ATX20pin のアサイン
     
     
     
     
     
     
     
     
     
     
     
    ATX24ピンの場合
    PS_ON(16番:グリーン)とCOM(15番:ブラック もしくはそれ以外のCOM,3,5,7,17,18,19番:ブラック)を直結して電源ユニットの電源を入れる。これで電源ユニットのファンが回らなければ電源の故障、回れば電源ユニット以外のの故障の可能性が高い。

    ATX24pin のアサイン

ATX20ピンの PS_ON(14番)と COM(13番)を直結した例


  • マザーボードの点検
  • マザーボード上の電解コンデンサーの液漏れや破裂、パーツの焼損がないか目視で確認する。これらのうちのどれかが当てはまれば、それが故障の原因と考えていい。電解コンデンサーの液漏れや破裂が故障の原因であることは多い。

それらのコンデンサーを取り替えるだけでなおる事もある。

今回の1号機の故障について

1号機は前に一度電源が故障しており、新しいものと交感している。その時には故障する数週間前からスイッチを押しても電源が入ったり入らなかったりという前兆があった。しかし今回は
  • 電源ランプは点灯していた
  • 使用中にフリーズすることもなかった (よくあるマザーボード故障の前兆)
  • 電源故障の前兆はなかった
ので、電源やマザーボードの故障でもないだろうと推測した。そこでマザーボードに接続している増設カードから点検を始めた。その結果、ネットワークカードを取り外して電源スイッチを押したら正常に起動した。
故障したネットワークカード AT-2701FTX


参考

1. 電源投入時のトラブル対策編1 ~電源が入らない場合~
2. ATX/EPS電源のピンアサイン
3. パソコンが起動しない場合の確認方法
4. パソコンのメイン基板故障
5. マザーボードの故障の前兆


2016/09/23

BIOS更新失敗は CMOSクリアでは修復出来ない

最近 BIOS のアップデートをしていて、アップデートに失敗した時のことが気になったので調べてみた。その時、CMOSクリアを勧めるページを多く見かけた。しかし、CMOSクリアでは BIOSアップデート失敗の修復は出来ない。その理由をまとめてみた。

CMOSクリアとは



CMOSクリアとはその中に保存されているデータを全て消去することだ。したがって、CMOSクリアをすると、BIOSの設定も消去され、CMOS-RAM は工場出荷時の状態に戻る (初期化される)。CMOSクリアをする一般的な方法は
  1. PC をシャットダウンする。
  2. 電源ケーブルをコンセントから抜く。
  3. マザーボード上の CMOS 保存用の電池 (リチウムイオン電池) を外す。
  4. 電池を外したままで約10分ほど放置する。
これで CMOS-RAM は工場出荷時の状態に戻るので、電池を元に戻して、ケーブルをコンセントにつなげばよい。


BIOS とその設定の保存


BIOS は PC に電源が入るとすぐに起動し、接続されているハードウェアの情報を集める。そして OS をロードし、集めたハードウェアの情報を OS に渡す。BIOS はその性格上、初めのうちは書き換え (アップデート) を想定しておらず、ROM (読み出し専用不揮発性メモリー) に保存されていた。これがその後、Flash Memory (読み出し書き込み可能な不揮発性メモリー) に記憶されるようになった。また、80286 CPU 登場以降は BIOS の設定は不揮発性BIOSメモリー (CMOS-RAM) に保存されるようになった。(参照:1,2) 80386 CPU 登場以降は CMOS-RAM に RTC (real-time clock) が統合され、現在の時刻も保存されるようになった。(参照:7) 現在ではこの CMOS-RAM はマザーボード上の Southbridge (サウスブリッジ) に組み込まれており、ほとんど単体で見ることは無いだろう。(参照:2) 


なぜ CMOSクリアで BIOSアップデート失敗の修復が出来ないのか


CMOSクリアを実行すると CMOS-RAM に保存したデータは消去され、CMOS-RAM は工場出荷時の状態に戻る (初期化される)。これによって CMOS-RAM に保存されている BIOS の設定も消去される。つまり、CMOSクリアによって、BIOS の設定が消去されるのであって、BIOS が初期化される分けではない。そもそも BIOS は COMS-RAM とは別の不揮発性メモリーに保存されているので、CMOSクリアでこのメモリーは初期化出来ない。


ではなぜこの様な誤解が生じるのか。


”BIOS の設定の初期化” のことをしばしば ”BIOS の初期化” と表現している事があるが、これは上記のとおり正しくない。(参照:8) ”BIOS の初期化” という表現を見た人たちが

  BIOS の初期化 → BIOS を工場出荷時の状態に戻す → BIOS 書き換え失敗の修復
  
と誤解したのではないか。


参照

1. BIOS (jap.)
2. BIOS (en)
3. ROM (Read only Memory)
4. Flash Memory
5. 不揮発性メモリー
6. 不揮発性BIOSメモリー
7. CMOS-RAM
8. 設定初期化 (CMOSクリア) 

2016/09/17

HP nx7300  BIOSアップデート(Boot-Image使用)

FreeDOS を使ってアップデート

HP nx7300 の BIOS は FreeDOS を CD, USBスティックまたはフロッピーディスクから起動してのアップデートできる。CDを使ってアップデートする場合には FreeDOS に BIOS が内包されているので、起動後すぐにインストール出来る。この方法はインストールされている OS によらずにアップデートできる。(USBスティック,フロッピーディスク似ついては未確認だが同様と考えられる。)

準備

  1. ここからアップデートファイル sp40746.exe をダウンロードする(ROMPaq for HP Notebook System BIOS (68YGU) – FreeDOS Bootable Media F.0E をクリック)。
  2. sp40746.exe を展開する。
  3. 展開すると3つのフォルダ6つのファイル
    • FreeDOS
    • ISO
    • Rompaq
    • HPUSBFW.exe
    • floppy.exe
    • FirmwareUpdate.exe
    • KERNELS.ZIP
    • cd.html
    • WSSP40746.rtf
     が出てくるので、フォルダ ISO の中にあるファイル rom.iso をCDに焼く。

アップデート

  1. BIOSの設定で HD より先に CD をブートする(起動する)ようにしておく。
  2. rom.iso を焼いた CD をドライブに挿入して nx7300 を再起動する。
  3. 現れた画面から ↑,↓ を使って Update を選択して Enterキーを押す。
  4. 画面の指示にしたがう。
  5. アップデートが終わったら Exit を選択して Enterキーを押す。
  6. 画面の指示にしたがって Power off。

2016/09/13

AMILO L7300T  BIOS のアップデート (Boot-Image 使用)

AMILO L7300T のアップデートについて

AMILO L7300T のアップデートファイルは
  • DISC Image (フロッピーディスク用)
  • ISO CD-Image (CD-ROM用)
の2種類があり、その両方共に FreeDOS が含まれている。したがって
  • フロッピーディスク、または CD から FreeDOS を起動してアップデートする
ことになる。この方法は AMILO L7300T に Windows系以外の OS がインストールされている場合にも通用する。DISC Image を使ったアップデートのやり方はダウンロードページに記されている。ここでは ISO CD-Image を使ったアップデートのやり方について書いた。(補足2) アップデートの手順は以下のとおり。分かりにくいところは青の太字で書いてある。

準備

  1. ここからアップデートファイルのうち、
    • Title: BIOS Flash (ISO CD-Image) - AMILO L7300     Version: 1.0G
    を ダウンロードしてくる。 
  2. ダウンロードしたファイルをCD-ROMに焼く。(ISOイメージの書き込み方)
    • 注意 OS から CD の中身は確認できないCDを焼くことに成功していれば、CDを入れたまま再起動すればアップデートできる。 
  3. BIOS からCDドライブのブート順位ががハードディスクドライブより高いことを確認する。

 

アップデート

  1. 焼いたCDをCDドライブに入れて再起動する。
  2. 起動して画面に A:\> と出たら flash.bat と入力して Enterキーを押す
  3. アップデートが終了したら画面の指示にしたがって、任意のキーを押す。


補足

  1. フロッピーディスク用の Image を展開して CD に焼いてもアップデートは出来ない。この場合、FreeDOS は立ち上がるが、コマンドを入力しても ”bad command” とエラーがでてしまう。
  2. ISO CD-Image の説明がない。ISO CD-Image の説明を見てもフロッピーディスク用の Image を使う場合についての説明が書かれていた。これではコマンドや拡張子の知識が無いと戸惑うだろう。何をすればいいか分かったのはDC から FreeDOS を立ち上てからだった。dir コマンドで中身を確認すると、以下の8つのファイルがあることが確認できる。それらをまとめると、
    1. kernel.sys, comanndo.com, autoexec.bat
    2. phlash16.exe, flash.bat, flashabl.rom
    3. readme.bat, readme.txt 
    の3つのグループに分けられる。このうち 1. に属するファイルは FreeDOS に関係するもの、3. は説明。つまり、アップデートに関係するファイルは 2. に属する3つのファイルということになる。ここから CD からアップデートする場合も flash.bat を実行すればよいであろうと推測できる。

2016/09/12

AMILO M1425  BIOSのアップデート

AMILO M1425 のアップデートについて

アップデートは OS が Windows系かそれ以外かで多少違ってくる。OS が Windows系以外の場合は AMILO L7300T の BIOS のアップデートで紹介します。

準備

  1. ここからアップデートファイル、FTS_BIOSWindowsFlashEXEAMILOM1425M7425_108c_1002800.exe,を ダウンロードしてくる。 
  2. (OS が Windows系の場合) Windows を起動し、新しいフォルダを作る。そこにダウンロードしたファイルのみをコピーする。
  3. (OS が Windows系以外の場合) ダウンロードしたファイルをFAT32にフォーマットしたUSBスティックにコピーする。FreeDOS 1.0 を焼いた Live-CD を用意する。

 アップデート


OS が Windows系の場合
- AMILO M1425 を起動する。
- FTS_BIOSWindowsFlashEXEAMILOM1425M7425_108c_1002800.exe をクリック。

OS が Windows系以外の場合
- ダウンロードしたファイルコピーしたをUSBスティックを AMILO M1425 にさす。 
- AMILO M1425 を FreeDOS 1.0 を焼いた Live-CD から起動する。
- 起動したら c: (私の場合) と入力して Enterキーを押す。
- FTS_BIOSWindowsFlashEXEAMILOM1425M7425_108c_1002800.exe をクリック。

注意


BIOSアップデート用のファイルは
  1. FTS_BIOSDOSFlashDISCImageAMILOM1425M7425_108c_1002798.exe
  2. FTS_BIOSFlashISOCDImageAMILOM1425M7425_108c_1002799.iso
  3. FTS_BIOSWindowsFlashEXEAMILOM1425M7425_108c_1002800.exe
の3種類がある。
このうち 3. を使用する必要がある。 1. はフロッピーディスク用のイメージファイルで、2. は CD-ROM用のイメージファイルだ。1. を展開してUSBスティックにコピーしても ”Bad commando” とメッセージが出てインストール出来ない。 (たわしは誤って 1. をダウンロードしたためにどつぼにはまった。) 2. は FreeDOS を起動するのに CD-ROMドライブを使用しているので利用出来ない。

2016/09/07

Acer Aspire 3623  BIOSのアップデート (FreeDOS 使用)

freeDOS 1.0 を使ってAcer Aspire 3623 のBIOSをアップデートする。

用意

  1. CDに焼いた freeDOS 1.0 (Acer Aspire 3623 にはFDD(フロッピーディスクドライブ)がない。)
  2. ここからBIOSをダウンロードして展開しておく。(製品モデルは Acer Aspire 3620)
  3. Cドライブの直下に”BIOS”と言う名前のフォルダをつくり、展開したファイルをコピーしておく。(フォルダ名は任意でいい。まt、展開したファイルをUSBスティックにコピーしても freeDOS 1.0 からは認識されなかった。)

BIOSのアップデート

  1. Acer Aspire 3623 を起動する。CDに焼いた freeDOS 1.0を挿入し、再起動。(参照1)
  2. ここの "BIOS のアップデート" の1~4 を参考に freeDOS 1.0 を起動する。
  3. c: と入力してenterキーをおす。(Cドライブに移動)
  4. cd BIOS と入力してenterキーをおす。(BIOSフォルダ内に移動)
  5. AG1A106.bat と入力enterキーをおす。(アップデートが終了するのを待つ。)
  6. Acer Aspire 3623 を再起動する。

備考


既にお気づきの方のいるとは思うが、この Acer Aspire 3623 には Windows XP がインストールされたままだ。Windows XP は既にサポートを終了しているので、使用するべきではない。どうしても使用しなければならないときには Internet との接続は切断しておくべきだ。私の場合は Linux 上で作動しないデバイスをいじり倒すためにあえて Windows XP をそのままにしている。今回の目的はUSBスティックもFDも使えない環境でのBIOSのアップデートの方法を確かめることだった。しかし、Windows があるならセーフモードで管理者としてログインし、コマンドプロンプトから Batch File を実行してもいいのだろう。

参考


1. Ubuntu  BIOSのアップデート(K7S5A)
2. Acer ドライバとマニュアル

 


2016/07/04

モニタ-(BenQ FP91G+)の修理

PCの電源を入れたらモニターが映らない。モニターのスイッチを押し直しても反応なし。スイッチの所にあるLEDも点灯しない。


接続と通電の確認

  •  電源ケーブルがきちんと差し込まれていることを確認。 
    • 電源ケーブルがコンセントから抜けかかっていたり、モニタなどの機器に十分差し込まれていないために機能しないことはよくある。
  •  電源ケーブルを交換してみる
    • ケーブルが断線している事もある。”LANケーブルが断線してインターネットに接続出来ない。”なんて事もあった。
  •  別の電通しているコンセントに差し替える。  
    • コンセントに電気が来ていない事もある。”別のコンセントに差したら動いた。”なんて事もめずらしくない。
接続と通電には問題なかった。 LEDも消えているので、故障は電源部周辺と考えられる。 


モニターの分解

  1. 全てのケーブルを外す。                            
  2. 背面のカバーのを外す。
    1. モニターのスタンドを取り付けているネジ2本
    2. そのスタンドの下にあるモニターのネジ1本とその他のネジ4本(2本は隠しネジ。)
    3. モニター下部の凹みからマイナスドライバーを使ってカバーを外す。
  3. 基盤類を被っているアルミカバーを外す。
    1. 液晶ディスプレイと基盤を接続しているケーブルを抜く
    2. VGA端子とDVI端子の両脇にあるスペーサーを外す。
やはり電解コンデンサーのうち2つが膨張している。(基盤から取り除いた後撮影しました。)
これを交換する。


コンデンサーの交換

  1.  2つの基盤を接続しているケーブルを外し、電源基盤(左)を留めているネジを外す。
  2. 膨張している2つのコンデンサーを取り除く。
  3. 新しいコンデンサーをハンダづけする。

モニターの組み立てと通電

分解とは逆の順番でモニターを組み立て直すし、ケーブル類を接続して通電する。組み立てる前に通電する場合には高電圧に注意!(参照:1)

映りました。修理完了。 


修理について

今回は電解コンデンサーが膨張していたので、交換したら元通りに動いた。他にも
  • セラミックコンデンサーが焼ける
  • トランジスターが破損
  • ヒューズが飛ぶ
などの例があるようだ(参照:2、3)。目視で確認できない場合、テスターを使って各素子を検査する。また、ディスプレイやバックライトが破損したような場合、修理可能かどうかがポイント。部品交換の場合には費用がかかる。


参照 

1. Monitor oder Fernseher reparieren
2. パソコン液晶パネル修理
3. 液晶モニター dell S2209Wの分解修理
4. 不良電解コンデンサ問題
5. RDT232WX 修理3パターンの紹介 

2016/06/29

linuxBean 14.04  内臓HDDの自動マウント

LInuxBean 14.04 を使っていてちょっと困ったこと。それは内蔵HDDをマウントしてくれないことだった。12.04 まではマウスクリックでマウント(動的マウント)してくれていたけれど、14.04にアップグレード後はマウスクリックではマウント出来なくなった。

まあ内蔵HDDを使いたいときにコマンドを入力してマウントすればいいけど、出来ればマウスクリックまたは起動時にマウントしてくれるとありがたい。


起動時にマウントさせるには


PCが起動したときにデバイスをマウント(静的マウント)するには、/etc/fstab ファイルに記述すればいい。
/tec/fstab ファイルとはパーティション、内臓HDDやSSDなどのブロックデバイス、外付けHDDやUSBスティックなどの周辺機器をどうやってファイルシステムにマウントするかを記述するファイルだ。
今回のように内蔵HDDをマウントするには fstab ファイルに以下の1行を書き加えれいいだろう。

  UUID=3e6be9de-8139-11d1-9106-a43f08d823a6 /media/BackUp ext4  defaults  0  2


/tec/fstab ファイルの中身


まず、ファイルの中身をみてみよう。

  # /etc/fstab: static file system information.
  #
  # Use 'blkid' to print the universally unique identifier for a
  # device; this may be used with UUID= as a more robust way to name devices
  # that works even if disks are added and removed. See fstab(5).
  #
  # <file system> <mount point>   <type>  <options>       <dump>  <pass>
  proc            /proc           proc    nodev,noexec,nosuid 0       0
  UUID=f8aa0bd4-2fbd-41c4-8319-203f4167a51e / ext4 errors=remount-ro 0 1
  UUID=a575f293-cb40-44fa-8366-94287238b687 none swap sw      0       0
  /dev/fd0   /media/floppy0  auto    rw,user,noauto,exec,utf8 0       0
  UUID=3e6be9de-8139-11d1-9106-a43f08d823a6 /media/BackUp ext4 defaults 0 2


# で始まる行はコメント分である。
このファイルには各行にマウントされるパーティションやデバイスが一つずつ以下の6つのフィールド
      <file system>  <dir>  <type>  <options>  <dump>  <pass>
 によって記述されている。それぞれのフィールドはタブまたはスペースで区切られている。
  • <file system> マウントされるデバイスやパーティションの UUID*
  •                      また, /dev/cdrom や /dev/sda1 などそれらのデバイス名
      上の例では UUID=3e6be9de-8139-11d1-9106-a43f08d823a6
  • <dir> マウントポイント
    • 上の例では /media/BackUp
  • <type> マウントされるパーティションやデバイスのファイル形式
  •             指定できるファイル形式には ext2, ext3, ext4, btrfs, f2fs, xfs, hfsplus, tmbfs,             iso9660, vfat, ntfsなどがある。
      上の例では ext4
  • <options> 指定するマウントオプション。基本的なオプションは以下の通り。尚、2つ                以上のオプションを指定したい時にはコンマでつなぐ。
    • defaults   rw, suid, dev, exec, auto, nouser, async の7つのオプションを               指定することと同じ。
    • ro   読み込み専用でマウントする。
    • rw   読み書き可能でマウントする。
    • suid   SUID または SGID ビットの操作を許可する。
    • nosuid   SUID や SGID ビットの操作を許可しない。
    • dev   ファイルシステム上のデバイスを解釈する。
    • nodev   ファイルシステム上のデバイスを解釈する。
    • exec   バイナリデータの実効を許可する。
    • noexec   バイナリデータの実効を許可しない。
    • auto   起動時,または mount -a コマンドが実行されたときにマウントする。
    • noauto   自動でマウントしない。
    • nouser   root だけにマウントを許可する。
    • users   ユーザーグループにマウントを許可する。
    • user   全てのユーザーにマウントを許可する。
    • sync   ファイルシステムへの入出力を同期する。
    • async   ファイルシステムへの入出力を同期しない。
    • atime   inode アクセスを日時を常に更新する。
    • relatime   変更があった inode アクセスを日時をのみ更新する。
    • noatime   inode アクセスを日時を更新しない。
    • 上の例では defaults
  • <dump> 0 または 1 (dumpによってバックアップを作成する -> 1 作成しない -> 0)
    • 上の例では 0
  • <pass> 0~2 ファイルシステムをチェックする順番
  •                     (rootファイルシステム -> 1 その他 -> 2 チェックしない -> 0)
      上の例では 2 


UUIDUniversally Unique Identifier)とは、パーテーションやデバイスを一意に識別するための識別子である。これは 16Byteの16進数で、上の内蔵HDDの例では
  3e6be9de-8139-11d1-9106-a43f08d823a6 
のように表現されている。
UUID を調べるには端末(terminal)から

   sudo blkid  

と入力すればよい。尚, FAT や NTFS などの Windiowsファイルシステムでは UUID が使われていないので,UUID の代わりにシリアルナンバーが出力される。
出力例

  yyyyyyy@xxxxxxx-zzzzzzz-O-E-M:~$ sudo blkid
  [sudo] password for xxxxxxx: 
  /dev/sda1: UUID="58c5c831-15dc-4054-8237-14d095808ee2" TYPE="ext4" 
  /dev/sda5: UUID="f8aa0bd4-2fbd-41c4-8319-203f4167a51e" TYPE="ext4" 
  /dev/sda6: UUID="a575f293-cb40-44fa-8366-94287238b687" TYPE="swap" 
  /dev/sdb1: LABEL="TOSHIBA EXT" UUID="30DA0059DA001DAA" TYPE="ntfs" 
  /dev/sdc1: UUID="3e6be9de-8139-11d1-9106-a43f08d823a6" TYPE="ntfs" 
  yyyyyyy@xxxxxxx-zzzzzzz-O-E-M:~$


参照


1. fstab  (Archlinux Jap.)
2. fstab  (Ubuntu Eng.)
3. fstab  (Ubuntu De.)
4. fstab  (Linux man page)
5. UUID  (wikipedia Jap.)
6. UUID  (Ubuntu De.)

2016/06/25

LinuxBean 14.04 Bodhi Linux から LinuxBean へ

LinuxBean とそのシステム要件

Bodhi Linux をインストールしていたPCのメモリーを256MBから512BMに増設した。これでこのPCのスペックは以下の通り。
CPU:AMD64 (2.2 GHz)
メモリ:512MB 
HDD:20GB
これなら LinuxBean 12.04 をインストール出来る。LinuxBean は Ubuntu 12.04/14.04 LTS の minimal install版をベースにした軽量ディストゥリビュージョン(軽量Linux) だ。(参照:1,2)
LinuxBean 12.04 のシステム要件
CPU:i386 800MHz 以上
メモリ:256MB 以上
ディスクの空き:8GB 以上
LinuxBean 12.04 のLiveCD が手元にあったので早速インストールする。インストール後はアップデートをしておく。ここでデータ用の外付けHDD (1TB) を組み込む。再起動後、このHDDは sdb1 として /media に mount (マウント)される。
ここで LinuxBean 14.04 へのアップグレードの通知があった。
LinuxBean 14.04 のシステム要件
CPU:i686 Pentium M, Celeron M 以降、及びそれらと互換性のあるCPU
メモリ:384MB 以上
ディスクの空き:10GB 以上
システム要件は満たしているので 14.04 にアップグレードする。


Bodhi linux VS LinuxBean
  • 共通点
    1. Ubuntu 12.04/14.04がベース
  • Bodhi Linux の長所
    1. 少ないメモリ(256MB)で動作
      1. LinuxBean12.04 は256MBでも最小システム要件は満たしているが、上記の環境ではグラフィックに問題があり正常には動作しなかった。一方 Bodhi linux はもたつき無く動作した。(参照:3)
  • LinuxBean の長所
    1. 無線LAN子機の認識
      1. LinuxBean12.04 では無線LAN子機 (WLI-U2-KG54L,ISY IWL 2000)を自動認識してくれた。一方 Bodhi linux ではそれぞれファイルの編集(参照:4)やドライバのインストールが必要だった。(参照:5)
    2. GUIが使いやすい。
      1. LinuxBean12.04/14.04 はデスクトップ環境にLXDEを採用しているので、Ubuntu系やwindows系を使っている人にはなじみやすい。一方 Bodhi linux ではEnlightenmentを採用しており、使いこなすには慣れが必要だ。(参照:3) 

Mount (マウント) とはあるパーティションまたはデバイスとあるディレクトリを関連づける作業のことである。このマウントによって関連付けられたディレクトリMountpoint (マウントポイント)という。マウントによって、ユーザーはハードディスク、フロッピーディスク、CD-ROM、USBメモリなどの記憶媒体に保存してあるデータを利用できるようになる。(参照:6)

参照

1. 舞台袖
2. LinuxBean
3. Bodhi Linux  古いPCの再生1
4. Bodhi Linux  Buffalo WLI-U2-KG54L で無線LANに接続
5. Bodhi Linux  ISY IWL 2000 で無線LANに接続
6. Linux LPIC - mount / unmount of File System
 

2016/02/01

4色定理とコンピュータ


5. 4色定理とコンピュータ 

4色定理とは平面上に地図が書かれていてその国に色を塗るとき, どんな地図でも4色あれば足りるという定理である(一つの国は飛び地を持たないとする). これを証明するのにコンピュータが用いらた。この事について数学者(+世間の人たち?)の間で, 「コンピュータを用いたを証明と呼べるのか」という議論がなされたという事は聞いたことがあるかもしれない. 

コンピュータが用いられたといっても, 決してありとあらゆる地図に対する塗りわけをコンピュータにやらせた, というものではない. 地図の種類は無限にあるので, そんなことは不可能である. そして, 意味のある数学の定理は事実上全てが, 無限の対象に対する言明(全ての自然数は..., 全ての実数は...)だから, コンピュータによって「難しい」定理の証明の 「本質的な部分」がなされる可能性は今も昔も少ない. 

4色定理の場合まず, 何通りかの「部分地図」の形が定義され,
  1. どのような地図も必ずそれらのうちのどれかを一部に含む
  2. 一方, それらのどれも, 4色で塗り分けられない最小の地図(最小反例)には含まれ得ない,
という事が証明された. 4色定理が成り立たないとしたらその中で国の数が最小の例がある はずだが, 上の2つの事実により, そのような例は存在しないことになり, 定理の証明が完成する. 

上で何通りかの「部分地図」と述べたその部分地図の数が, 最初の証明(AppelとHaken)では1476種類あり, 前者の証明やプログラムも複雑であったため, その正しさに疑問がつけられたという. 後にThomasらによってより単純なプログラムによる証明が得られ, その際の「分類」の数は633種類だった. 

参考リンク:

私自身はコンピュータをやっている人間として, このような証明がなされたことに興味を覚えるし, 今後別の, もっと多くの数学者の関心を引いている問題で, 似たようなことが起きても不思議はないと思う。むしろそれが数学の進歩に役に立つのであれば喜ばしいと思う. そもそも命題自身の真偽がわかっていない状態では手段など選ばず, 「後はこれら有限個の場合をコンピュータでチェックするだけ」というところに持ち込んだら, コンピュータを利用するのは自然なことだ. そして4色問題を「有限個の場合のチェックを行えば良い」ところまで持ち込んだのは紛れもなく人間だ。今後別の問題の場合でもおそらくなるするだろう. 
これに対し, 「これを数学の証明と呼べるのか」という批判が起きるのもまた分からないこともない. 要するに証明は「白黒つける」だけが目的ではなく「分かる」事が目的であり, 要するに何を持って「分かった」とするかという問題だ. コンピュータの手続きがYESと答えたからと言って, それを見た人にとって「分かった」という満足が得られないではないかという感覚は理解できる. しかし, チェックのためのプログラムが十分理解可能で信頼に足るものであれば, 「わかった」と言えるのではないか. そもそも人が書いた証明であればそれが1000ページを越えており, 自分ではとても検証できなくても良しとするというのも不思議な話だ. 要するにプログラムを使うと「分かった」とは言えず, 使わなければ「分かった」というような 2者択一ではないということだ. 

そもそも同じ問題に何通りも証明があるのが普通であり, その問題が重要ならば, たとえ先にコンピュータを用いた証明がなされたとしても, より簡潔な, うまくするとコンピュータに頼らずに正しさが確認できるような別証が出てくるのが普通だろう. それは他の問題でも, 最初に長く複雑な証明が提出された後, より本質をついた, 整理された証明が出てくるのと同じ事だ. たまたま最初になされた証明がコンピュータを使った「人」によってなされたというに過ぎない. それを認めずに「コンピュータに先を越された」とか, 「コンピュータに人間が負けた」という類の感情論はナンセンスだ. そのような人にはぜひ以下の事実を思い起こしてもらいたい. コンピュータによる計算の原理も, その物理的な実現方法も, プログラムによる計算の表現方法も, 元はと言えばすべて人間が考えたものだ.

出典Motivation to learn computer  (一部変更)