| maison  | Hardware  | réseaux  | programmation  | Logiciel  | Dépannage  | systèmes |  
Logiciel  
  • Adobe Illustrator

  • Un logiciel d'animation

  • antivirus Software

  • Logiciel audio

  • Sauvegarder des données

  • Gravez des CD

  • Gravez des DVD

  • Compression de données

  • Logiciel de base de données

  • desktop Publishing

  • desktop Video

  • Digital Video Software

  • Drupal

  • Logiciels éducatifs

  • Software Engineering

  • Types de fichier d'extension

  • Financial Software

  • Freeware , Shareware et Abandonware

  • GIMP

  • Graphics Software

  • Accueil Recording Software

  • Microsoft Access

  • Microsoft Excel

  • Microsoft Publisher

  • Microsoft Word

  • Code Open Source

  • Autres logiciels informatiques

  • Jeux PC

  • Photoshop

  • Portable Document Format

  • PowerPoint

  • Logiciel de présentation

  • Logiciels de productivité

  • Quicktime

  • Gestion Remote Desktop

  • SQL Server

  • Skype

  • Logiciel bêta de presse

  • Consultants logiciels

  • Les sociétés de développement de logiciels

  • Licences de logiciels

  • Tableur

  • Logiciel de préparation d' impôt

  • Logiciel utilitaire

  • Clip Art Web

  • Windows Media Player

  • Logiciel de traitement de texte
  •  
    Connaissances Informatiques >> Logiciel >> Types de fichier d'extension >> Content
    Comment changer une extension de fichier sous Linux
    Modification de l' extension d'un fichier à partir de la ligne de commande Linux implique la même commande que de changer le nom du fichier lui-même : la commande " mv" ( move) . Essentiellement, vous êtes «bouger» le fichier original dans un nouveau fichier avec une extension différente . Si vous faites une erreur lors de la réaffectation d'une extension de fichier, vous pouvez utiliser la commande "mv " pour le changer en arrière. Instructions
    1

    Ouvrez votre application préférée en ligne de commande , comme Terminal (Mac OS X ) ou la ligne invite de commande ( Windows)
    2

    Connectez-vous à votre serveur: .

    ssh yourdomain.com

    Remplacez yourdomain.com avec votre nom de domaine spécifique ou une adresse IP .
    3

    Allez dans le répertoire où le fichier que vous souhaitez à modifier se trouve:

    cd /chemin /dossier /à

    Remplacez /path dossier /à /par le chemin spécifique à votre dossier, par exemple /var /public_html /yourdomain.com /public
    4 type de

    la commande suivante :

    mv filename.oldextension filename.newextension

    Par exemple, si vous voulez changer "index.html " à " index . php " vous devez taper la commande suivante:

    mv index.html index.php

    Previous :

    next :
      articles connexes
    ·Quelle est l'extension de fichier R07 
    ·Comment afficher l' extension de fichier PS 
    ·Quel est le fichier d'extension DPR 
    ·Quelle est l'extension du fichier VBW 
    ·Qu'est-ce que le fichier d'extension mail 
    ·Quelle est l'extension du fichier BC 
    ·Quelle est l'extension du fichier Ewb 
    ·Quelle est l'extension Type Tec 
    ·Qu'est-ce que le fichier d'extension Mme 
    ·Quelle est l'extension de fichier Sms 
      articles en vedette
    ·Comment faire un Blink police 
    ·Comment créer une photo sépia Utilisation de Photosho…
    ·Comment obtenir DirectX 9 Plus 
    ·Comment faire pivoter un titre en GIF Creator 
    ·Comment écrire et publier un Horreur Newsletter 
    ·Comment faire pour créer une requête action Append da…
    ·Comment faire pour utiliser Skype sur le LG ENV3 
    ·Comment faire pour modifier un fichier PDF en un fichie…
    ·Comment mettre en place une seule note zones clés dans…
    ·Comment faire pour convertir MP3 à QCP gratuitement 
    Copyright © Connaissances Informatiques http://fr.wingwit.com