Mirror of GNU Guix
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

#### 62 lines 2.0 KiB Raw Blame History

 `;;; guix-profiles.el --- Guix profiles` ``` ``` `;; Copyright © 2014 Alex Kost ` ``` ``` `;; This file is part of GNU Guix.` ``` ``` `;; GNU Guix is free software; you can redistribute it and/or modify` `;; it under the terms of the GNU General Public License as published by` `;; the Free Software Foundation, either version 3 of the License, or` `;; (at your option) any later version.` ``` ``` `;; GNU Guix is distributed in the hope that it will be useful,` `;; but WITHOUT ANY WARRANTY; without even the implied warranty of` `;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the` `;; GNU General Public License for more details.` ``` ``` `;; You should have received a copy of the GNU General Public License` `;; along with this program. If not, see .` ``` ``` `;;; Code:` ``` ``` `(defvar guix-user-profile` ` (expand-file-name "~/.guix-profile")` ` "User profile.")` ``` ``` `(defvar guix-default-profile` ` (concat (or (getenv "NIX_STATE_DIR") "@guix_localstatedir@/guix")` ` "/profiles/per-user/"` ` (getenv "USER")` ` "/guix-profile")` ` "Default Guix profile.")` ``` ``` `(defvar guix-current-profile guix-default-profile` ` "Current profile.")` ``` ``` `(defun guix-profile-prompt (&optional default)` ` "Prompt for profile and return it.` `Use DEFAULT as a start directory. If it is nil, use` ``guix-current-profile'."` ` (let* ((path (read-file-name "Profile: "` ` (file-name-directory` ` (or default guix-current-profile))))` ` (path (directory-file-name (expand-file-name path))))` ` (if (string= path guix-user-profile)` ` guix-default-profile` ` path)))` ``` ``` `(defun guix-set-current-profile (path)` ` "Set `guix-current-profile' to PATH.` `Interactively, prompt for PATH. With prefix, use` ``guix-default-profile'."` ` (interactive` ` (list (if current-prefix-arg` ` guix-default-profile` ` (guix-profile-prompt))))` ` (setq guix-current-profile path)` ` (message "Current profile has been set to '%s'."` ` guix-current-profile))` ``` ``` `(provide 'guix-profiles)` ``` ``` ```;;; guix-profiles.el ends here ```
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9146469235420227, "perplexity": 847.1641714479027}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-05/segments/1642320305423.58/warc/CC-MAIN-20220128074016-20220128104016-00526.warc.gz"}