kledgeb UbuntuやLinuxの最新情報を紹介

Ubuntu 22.10 その16 - Ubuntu向けdebuginfodサービス登場・ソフトウェアのデバッグがもっと簡単に

Ubuntu向けdebuginfodサービス登場

2022年9月20日、Ubuntu向けdebuginfodサービスが登場しました。


  • Debuginfod is now available in Ubuntu

debuginfod

debuginfodはサーバー上に配置しているELF/DWARF/ソースコードを、GDBのようなクライアントで動作しているデバッグツールにHTTP(S)経由で配布するソフトウェアです。

  • ELFUTILS DEBUGINFOD

debuginfodサービス

今回Ubuntuはこのソフトウェアを活用したサービスをユーザーに提供することになりました。 開発者は従来よりも簡単に、Ubuntuで提供されているソフトウェアのデバッグに必要な準備を整えられるようになりました。
つまり以下のようなユーザーによる準備作業が必要なくなるということです。

  • Debug Symbol Packages

debuginfodサービスを利用するとクライアントで動作しているデバッグツールは、必要なデバッグシンボルをdebuginfodサーバーから自動的にダウンロードして読み込んでくれます。

debuginfodサービスの使い方

debuginfodサービスの使い方や詳細は、以下を参照してください。

  • Debuginfod

現在はDWARF情報のみ提供

現時点でdebuginfodサービスはDWARF情報のみ提供していますが、将来的にはソースコードの提供も予定されています。

Ubuntuの対応状況

バージョン別Ubuntuの対応状況です。

Ubuntu 22.10

現在開発中の「Ubuntu 22.10」ではGDBインストールする際、ソフトウェアをデバッグする時に自動的にUbuntuのdebuginfodサービスを参照するようにシステムが設定されます。
そしてGDBはdebuginfodを利用するかどうかをユーザーに確認します。

既存のUbuntuでは

既存のUbuntuでは上記のような設定は行われませんが、以下の環境変数の設定を「~/.bashrc」ファイルに記述することで、debuginfodサービスを利用できるようになります。

export DEBUGINFOD_URLS="https://debuginfod.ubuntu.com"

Ubuntu
スポンサー
コメント
コメントポリシー
コメントをする前に UbuntuのCode of Conduct（CoC/行動規範） を確認し、CoCに沿ったコメントをお願いします。
コメントの使い方は、コメントの使い方を参照してください。
同一カテゴリーの記事
SNS
人気の記事
  • Ubuntu 22.04 LTSのインストール その5 - UEFI環境でパーティションの作成と構成 〜 ブートローダーのインストール先の選択
    UEFI環境でパーティションの作成と構成を行う UEFI環境でパーティションの作成と構成を行います。
  • Ubuntu 22.04 その98 - 入力ソースとキーボートレイアウトと日本語入力のカスタマイズ
    入力ソースとキーボートレイアウトと日本語入力 「Ubuntu」ではユーザーが利用しているキーボードレイアウトや日本語入力のカスタマイズが可能です。
  • Ubuntu 22.04 その120 - UbuntuのブートローダーをBoot Repairで修復するには・Ubuntuが起動しないトラブルを解決
    UbuntuのブートローダーをBoot Repairで修復するには 「Boot Repair」はOSのブートローダーに起因するOSが起動しない問題を簡単に解決してくれるアプリです。
  • Ubuntu 22.04 その79 - 画面ロックの有効・無効を設定するには・画面ロック時の設定をカスタマイズするには
    画面ロックの有効・無効を設定するには 一定時間ユーザーによる操作がない時に、自動的に画面をロックしパスワードで保護したり、画面をブランク状態にできます。
  • VirtualBox その125 - ゲストOSのUbuntuにLinux Guest Additionsをインストールするには
    ゲストOSのUbuntuにLinux Guest Additionsをインストールするには 仮想マシンにインストールしたゲストOSの「Ubuntu」に、「Linux Guest Additions」をインストールする方法です。
  • Ubuntu 22.04 その95 - ディスプレイサーバーを切り替えるには・XorgとWayland
    ディスプレイサーバーを切り替えるには 「Ubuntu」はデフォルトで2種類のディスプレイサーバーを提供しています。
  • Ubuntu 22.04 その64 - Windows/Linux/macOSでUbuntu 22.04 LTSのライブUSBメモリーを作るには
    Ubuntu 22.04 LTSのライブUSBメモリーを作る方法 Windows/Linux/macOSでPC向け「Ubuntu 22.04 LTS」のライブUSBメモリーを作る方法を紹介します。
  • Ubuntuのバージョンと開発コードの対応表
    UbuntuのバージョンとUbuntuの開発コード 「Ubuntu」には各バージョンごとに開発コードが設定されます。
  • WSL その295 - WSLの新機能や変更点（2024年5月）・機能改善やWSL設定アプリなど
    WSLの新機能や変更点（2024年5月） 2024年5月30日、WSLの新機能や変更点が以下で紹介されています。
  • Ubuntu 20.04 その74 - UbuntuとUEFIセキュアブート
    UbuntuとUEFIセキュアブート 「Ubuntu」と「UEFIセキュアブート」に関するお話です。
記事のピックアップ
オプション